
  TYPE
    nft$ve_to_ve_access = RECORD
      CASE ve_server: BOOLEAN OF
      = TRUE =
        execution_ring: ost$ring,
      CASEND,
    RECEND;

*copyc osd$virtual_address
