{Code base pointer format }

  TYPE
    ost$internal_code_base_pointer = packed record
      fill1: 0 .. 0f(16),
      vmid: ost$virtual_machine_identifier,
      xp: boolean,
      fill2: 0 .. 7,
      r3: 0 .. 0f(16),
      code_pva: ALIGNED ^cell,
    recend,

    ost$external_code_base_pointer = packed record
      fill1: 0 .. 0f(16),
      vmid: ost$virtual_machine_identifier,
      xp: boolean,
      fill2: 0 .. 7,
      r3: 0 .. 0f(16),
      code_pva: ALIGNED ^cell,
      fill3: 0 .. 0ffff(16),
      binding_pva: ALIGNED ^cell,
    recend;

*copyc OSD$VIRTUAL_ADDRESS
*copyc OST$VIRTUAL_MACHINE_IDENTIFIER
