
  PROCEDURE [INLINE] osp$verify_system_segment
    (    pva: ^cell);

{ This inline procedure utilizes the system privilege bit map to verify that
{ the specified address is in a system segment.  If so, proceed; otherwise,
{ force the task to abort via an access violation.

?? PUSH (LISTEXT := ON) ??

    IF NOT osv$system_privilege_map [#SEGMENT (pva)] THEN
      osp$force_access_violation;
    IFEND;

  PROCEND osp$verify_system_segment;

*copyc osp$force_access_violation
*copyc osv$system_privilege_map
?? POP ??
