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


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