  PROCEDURE [XREF] mmp$remove_pages_working_set (sva: ost$system_virtual_address;
        length: ost$segment_length;
        aste_p: ^mmt$active_segment_table_entry;
    VAR count: integer);

?? PUSH (LISTEXT := ON) ??
*copyc OSD$VIRTUAL_ADDRESS
*copyc OST$HARDWARE_SUBRANGES
?? POP ??
