
  TYPE
    ost$segment_access_control = record
      cache_bypass: boolean,
      execute_privilege: ost$execute_privilege,
      read_privilege: ost$read_privilege,
      write_privilege: ost$write_privilege,
    recend,

    ost$execute_privilege = (osc$non_executable, osc$non_privileged,
      osc$local_privilege, osc$global_privilege),

    ost$read_privilege = (osc$non_readable, osc$read_key_lock_controlled,
      osc$read_uncontrolled, osc$binding_segment),

    ost$write_privilege = (osc$non_writable, osc$write_key_lock_controlled,
      osc$write_uncontrolled, osc$wp_reserved);
