

  PROCEDURE [XREF] pmp$execute_procedure_as_task (target_ring: ost$valid_ring;
        starting_procedure: pmt$user_program;
        parameters: pmt$program_parameters;
        critical_frame: ^ost$stack_frame_save_area;
    VAR task_id: pmt$task_id;
    VAR task_status: pmt$task_status;
    VAR status: ost$status);

?? PUSH (LISTEXT := ON) ??
*copyc pmt$user_program
*copyc pmt$program_parameters
*copyc ost$stack_frame_save_area
*copyc pmt$task_id
*copyc pmt$task_status
*copyc ost$status
*copyc osd$virtual_address
*copyc pme$execution_exceptions
?? POP ??
