 TYPE
    iot$pva_list = array [1 .. * ] of iot$pva_list_information,
    iot$pva_list_information = record
      address: ^cell,
      length: ost$segment_length,
    recend;

?? PUSH (LISTEXT := ON) ??
*copyc osd$virtual_address
?? POP ??
