
  TYPE
    dut$access_data = RECORD
      valid_segment: boolean,
      page_fault: boolean,
      memory_found: boolean,
      next_page_offset: ost$segment_offset,
      page_fault_offset: ost$segment_offset,
    RECEND;

*copyc osd$virtual_address
