
  PROCEDURE [XREF] mmp$xtask_pva_to_sva (pva: ^cell;
    VAR sva: ost$system_virtual_address;
    VAR status: syt$monitor_status);

?? PUSH (LISTEXT := ON) ??
*copyc OST$HARDWARE_SUBRANGES
*copyc SYT$MONITOR_REQUEST_CODE
?? POP ??
