
  FUNCTION [XREF] mmp$verify_access_for_ring
    (    pva_p: ^^cell;
         access_mode: mmt$va_access_mode;
         ring: ost$valid_ring): boolean;

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