
  TYPE
    pmt$minimum_save_area = packed record
      p_register: ALIGNED [0 MOD 8] ost$p_register,
      vmid: ost$virtual_machine_identifier,
      undefined: 0 .. 0fff(16),
      a0_dynamic_space_pointer: ALIGNED [2 MOD 8] ost$pva,
      frame_descriptor: ost$frame_descriptor,
      a1_current_stack_frame: ALIGNED [2 MOD 8] ^pmt$os_stack_frame_word,
      user_mask: ost$user_conditions,
      a2_previous_save_area: ALIGNED [2 MOD 8] ^pmt$minimum_save_area,
    recend;

*copyc ost$stack_frame_save_area
*copyc pmt$os_stack_frame_word
