# 1 "mach.defs"
# 1 "<built-in>"
# 1 "<command-line>"
# 1 "mach.defs"
# 1 "/usr/local/include/mach/mach.defs" 1 3
# 37 "/usr/local/include/mach/mach.defs" 3
serverprefix S_;
subsystem






         mach 2000;





# 1 "/usr/local/include/mach/std_types.defs" 1 3
# 33 "/usr/local/include/mach/std_types.defs" 3
type char = MACH_MSG_TYPE_CHAR;
type short = MACH_MSG_TYPE_INTEGER_16;
type int = MACH_MSG_TYPE_INTEGER_32;
type int32 = MACH_MSG_TYPE_INTEGER_32;
type int64 = MACH_MSG_TYPE_INTEGER_64;
type boolean_t = MACH_MSG_TYPE_BOOLEAN;
type unsigned = MACH_MSG_TYPE_INTEGER_32;
type unsigned32 = MACH_MSG_TYPE_INTEGER_32;
type unsigned64 = MACH_MSG_TYPE_INTEGER_64;


# 1 "/usr/local/include/mach/machine/machine_types.defs" 1 3
# 50 "/usr/local/include/mach/machine/machine_types.defs" 3
type natural_t = unsigned32;
# 59 "/usr/local/include/mach/machine/machine_types.defs" 3
type integer_t = int32;
# 45 "/usr/local/include/mach/std_types.defs" 2 3

type kern_return_t = int;

type pointer_t = ^array[] of MACH_MSG_TYPE_BYTE
 ctype: vm_offset_t;


type mach_port_t = MACH_MSG_TYPE_COPY_SEND;
type mach_port_array_t = array[] of mach_port_t;

type mach_port_name_t = MACH_MSG_TYPE_PORT_NAME
 ctype: mach_port_t;
type mach_port_name_array_t = array[] of mach_port_name_t
 ctype: mach_port_array_t;

type mach_port_right_t = natural_t;

type mach_port_type_t = natural_t;
type mach_port_type_array_t = array[] of mach_port_type_t;

type mach_port_urefs_t = natural_t;
type mach_port_delta_t = integer_t;
type mach_port_seqno_t = natural_t;
type mach_port_mscount_t = unsigned;
type mach_port_msgcount_t = unsigned;
type mach_port_rights_t = unsigned;
type mach_msg_id_t = integer_t;
type mach_msg_type_name_t = unsigned;
type mach_msg_type_number_t = natural_t;

type mach_port_move_receive_t = MACH_MSG_TYPE_MOVE_RECEIVE
 ctype: mach_port_t;
type mach_port_copy_send_t = MACH_MSG_TYPE_COPY_SEND
 ctype: mach_port_t;
type mach_port_make_send_t = MACH_MSG_TYPE_MAKE_SEND
 ctype: mach_port_t;
type mach_port_move_send_t = MACH_MSG_TYPE_MOVE_SEND
 ctype: mach_port_t;
type mach_port_make_send_once_t = MACH_MSG_TYPE_MAKE_SEND_ONCE
 ctype: mach_port_t;
type mach_port_move_send_once_t = MACH_MSG_TYPE_MOVE_SEND_ONCE
 ctype: mach_port_t;

type mach_port_receive_t = MACH_MSG_TYPE_PORT_RECEIVE
 ctype: mach_port_t;
type mach_port_send_t = MACH_MSG_TYPE_PORT_SEND
 ctype: mach_port_t;
type mach_port_send_once_t = MACH_MSG_TYPE_PORT_SEND_ONCE
 ctype: mach_port_t;

type mach_port_poly_t = polymorphic
 ctype: mach_port_t;

import <mach/std_types.h>;
# 51 "/usr/local/include/mach/mach.defs" 2 3
# 1 "/usr/local/include/mach/mach_types.defs" 1 3
# 61 "/usr/local/include/mach/mach_types.defs" 3
type mach_port_status_t = struct[9] of integer_t;

type old_mach_port_status_t = struct[8] of integer_t;

type task_t = mach_port_t
  ctype: mach_port_t





  ;
# 85 "/usr/local/include/mach/mach_types.defs" 3
type thread_t = mach_port_t
  ctype: mach_port_t





  ;

type thread_state_t = array[*:1024] of natural_t;

type task_array_t = ^array[] of task_t;
type thread_array_t = ^array[] of thread_t;

type vm_task_t = mach_port_t
  ctype: mach_port_t




  ;

type ipc_space_t = mach_port_t
  ctype: mach_port_t




  ;

type vm_address_t = natural_t;
type vm_offset_t = natural_t;
type vm_size_t = natural_t;
type vm_prot_t = int;
type vm_inherit_t = int;
type vm_statistics_data_t = struct[13] of integer_t;
type vm_machine_attribute_t = int;
type vm_machine_attribute_val_t = int;

type thread_info_t = array[*:1024] of natural_t;
type thread_basic_info_data_t = struct[11] of integer_t;
type thread_sched_info_data_t = struct[7] of integer_t;

type task_info_t = array[*:1024] of natural_t;
type task_basic_info_data_t = struct[8] of integer_t;
type task_events_info = struct[7] of natural_t;
type task_thread_times_info_data_t = struct[4] of integer_t;


type memory_object_t = mach_port_t
  ctype: mach_port_t



  ;

type memory_object_control_t = mach_port_t
  ctype: mach_port_t



  ;

type memory_object_name_t = mach_port_t
  ctype: mach_port_t




  ;

type memory_object_copy_strategy_t = int;
type memory_object_return_t = int;

type machine_info_data_t = struct[5] of integer_t;
type machine_slot_data_t = struct[8] of integer_t;

type host_t = mach_port_t
  ctype: mach_port_t




  ;

type host_priv_t = mach_port_t
  ctype: mach_port_t



  ;

type host_info_t = array[*:1024] of natural_t;
type host_basic_info_data_t = struct[5] of integer_t;
type host_sched_info_data_t = struct[2] of integer_t;
type host_load_info_data_t = struct[6] of integer_t;


type processor_t = mach_port_t
  ctype: mach_port_t




  ;

type processor_array_t = ^array[] of processor_t;
type processor_info_t = array[*:1024] of natural_t;
type processor_basic_info_data_t = struct[5] of integer_t;


type processor_set_t = mach_port_t
  ctype: mach_port_t





  ;

type processor_set_array_t = ^array[] of processor_set_t;

type processor_set_name_t = mach_port_t
  ctype: mach_port_t





  ;

type processor_set_name_array_t = ^array[] of processor_set_name_t;

type processor_set_info_t = array[*:1024] of natural_t;
type processor_set_basic_info_data_t = struct[5] of integer_t;
type processor_set_sched_info_data_t = struct[2] of integer_t;


type kernel_version_t = (MACH_MSG_TYPE_STRING, 512*8);

type kernel_boot_info_t = (MACH_MSG_TYPE_STRING, 4096*8);

type time_value_t = struct[2] of integer_t;

type emulation_vector_t = ^array[] of vm_offset_t;

type xxx_emulation_vector_t = array[*:1024] of vm_offset_t
     ctype: emulation_vector_t;


type rpc_signature_info_t = array[*:1024] of int;
# 250 "/usr/local/include/mach/mach_types.defs" 3
import <mach/mach_types.h>;
# 52 "/usr/local/include/mach/mach.defs" 2 3

skip;
skip;
skip;
skip;
skip;
skip;
skip;






routine task_create(
  target_task : task_t;
  inherit_memory : boolean_t;
 out child_task : mach_port_send_t);






routine task_terminate(
  target_task : task_t);





routine task_get_emulation_vector(
  task : task_t;
 out vector_start : int;
 out emulation_vector: emulation_vector_t);






routine task_set_emulation_vector(
  task : task_t;
  vector_start : int;
  emulation_vector: emulation_vector_t);





routine task_threads(
  target_task : task_t;
 out thread_list : thread_array_t);




routine task_info(
  target_task : task_t;
  flavor : int;
 out task_info_out : task_info_t, CountInOut);


skip;
skip;
skip;




routine thread_terminate(
  target_thread : thread_t);







routine thread_get_state(
  target_thread : thread_t;
  flavor : int;
 out old_state : thread_state_t, CountInOut);






routine thread_set_state(
  target_thread : thread_t;
  flavor : int;
  new_state : thread_state_t);




routine thread_info(
  target_thread : thread_t;
  flavor : int;
 out thread_info_out : thread_info_t, CountInOut);

skip;
# 166 "/usr/local/include/mach/mach.defs" 3
routine vm_allocate(
  target_task : vm_task_t;
 inout address : vm_address_t;
  size : vm_size_t;
  anywhere : boolean_t);


skip;





routine vm_deallocate(
  target_task : vm_task_t;
  address : vm_address_t;
  size : vm_size_t);
# 194 "/usr/local/include/mach/mach.defs" 3
routine vm_protect(
  target_task : vm_task_t;
  address : vm_address_t;
  size : vm_size_t;
  set_maximum : boolean_t;
  new_protection : vm_prot_t);
# 208 "/usr/local/include/mach/mach.defs" 3
routine vm_inherit(
  target_task : vm_task_t;
  address : vm_address_t;
  size : vm_size_t;
  new_inheritance : vm_inherit_t);
# 221 "/usr/local/include/mach/mach.defs" 3
routine vm_read(
  target_task : vm_task_t;
  address : vm_address_t;
  size : vm_size_t;
 out data : pointer_t);
# 234 "/usr/local/include/mach/mach.defs" 3
routine vm_write(
  target_task : vm_task_t;
  address : vm_address_t;
  data : pointer_t);
# 249 "/usr/local/include/mach/mach.defs" 3
routine vm_copy(
  target_task : vm_task_t;
  source_address : vm_address_t;
  size : vm_size_t;
  dest_address : vm_address_t);
# 266 "/usr/local/include/mach/mach.defs" 3
routine vm_region(
  target_task : vm_task_t;
 inout address : vm_address_t;
 out size : vm_size_t;
 out protection : vm_prot_t;
 out max_protection : vm_prot_t;
 out inheritance : vm_inherit_t;
 out is_shared : boolean_t;

 out object_name : memory_object_name_t =
     MACH_MSG_TYPE_MOVE_SEND
     ctype: mach_port_t;
 out offset : vm_offset_t);






routine vm_statistics(
  target_task : vm_task_t;
 out vm_stats : vm_statistics_data_t);

skip;
skip;





routine mach_ports_register(
  target_task : task_t;
  init_port_set : mach_port_array_t =
     ^array[] of mach_port_t);




routine mach_ports_lookup(
  target_task : task_t;
 out init_port_set : mach_port_array_t =
     ^array[] of mach_port_t);

skip;
skip;
skip;
# 325 "/usr/local/include/mach/mach.defs" 3
simpleroutine memory_object_data_provided(
  memory_control : memory_object_control_t;
  offset : vm_offset_t;
  data : pointer_t;
  lock_value : vm_prot_t);
# 339 "/usr/local/include/mach/mach.defs" 3
simpleroutine memory_object_data_unavailable(
  memory_control : memory_object_control_t;
  offset : vm_offset_t;
  size : vm_size_t);





routine memory_object_get_attributes(
  memory_control : memory_object_control_t;
 out object_ready : boolean_t;
 out may_cache : boolean_t;
 out copy_strategy : memory_object_copy_strategy_t);







routine vm_set_default_memory_manager(
  host_priv : host_priv_t;
 inout default_manager : mach_port_copy_send_t);

skip;
# 391 "/usr/local/include/mach/mach.defs" 3
simpleroutine xxx_memory_object_lock_request(
  memory_control : memory_object_control_t;
  offset : vm_offset_t;
  size : vm_size_t;
  should_clean : boolean_t;
  should_flush : boolean_t;
  lock_value : vm_prot_t;
  reply_to : mach_port_t =
   MACH_MSG_TYPE_MAKE_SEND_ONCE|polymorphic);


simpleroutine memory_object_lock_request(
  memory_control : memory_object_control_t;
  offset : vm_offset_t;
  size : vm_size_t;
  should_return : memory_object_return_t;
  should_flush : boolean_t;
  lock_value : vm_prot_t;
  reply_to : mach_port_t =
   MACH_MSG_TYPE_MAKE_SEND_ONCE|polymorphic);


routine xxx_task_get_emulation_vector(
  task : task_t;
 out vector_start : int;
 out emulation_vector: xxx_emulation_vector_t, IsLong);


routine xxx_task_set_emulation_vector(
  task : task_t;
  vector_start : int;
  emulation_vector: xxx_emulation_vector_t, IsLong);






routine xxx_host_info(
  target_task : mach_port_t;
 out info : machine_info_data_t);





routine xxx_slot_info(
  target_task : task_t;
  slot : int;
 out info : machine_slot_data_t);






routine xxx_cpu_control(
  target_task : task_t;
  cpu : int;
  running : boolean_t);

skip;
skip;
skip;
skip;
skip;
skip;






routine task_suspend(
  target_task : task_t);







routine task_resume(
  target_task : task_t);





routine task_get_special_port(
  task : task_t;
  which_port : int;
 out special_port : mach_port_send_t);





routine task_set_special_port(
  task : task_t;
  which_port : int;
  special_port : mach_port_t);


routine xxx_task_info(
  target_task : task_t;
  flavor : int;
 out task_info_out : task_info_t, IsLong);







routine thread_create(
  parent_task : task_t;
 out child_thread : mach_port_send_t);
# 518 "/usr/local/include/mach/mach.defs" 3
routine thread_suspend(
  target_thread : thread_t);





routine thread_resume(
  target_thread : thread_t);
# 537 "/usr/local/include/mach/mach.defs" 3
routine thread_abort(
  target_thread : thread_t);


routine xxx_thread_get_state(
  target_thread : thread_t;
  flavor : int;
 out old_state : thread_state_t, IsLong);


routine xxx_thread_set_state(
  target_thread : thread_t;
  flavor : int;
  new_state : thread_state_t, IsLong);





routine thread_get_special_port(
  thread : thread_t;
  which_port : int;
 out special_port : mach_port_send_t);





routine thread_set_special_port(
  thread : thread_t;
  which_port : int;
  special_port : mach_port_t);


routine xxx_thread_info(
  target_thread : thread_t;
  flavor : int;
 out thread_info_out : thread_info_t, IsLong);





routine task_set_emulation(
  target_port : task_t;
  routine_entry_pt: vm_address_t;
  routine_number : int);







routine task_ras_control(
  target_task : task_t;
  basepc : vm_address_t;
  boundspc : vm_address_t;
  flavor : int);



skip;
skip;
skip;
skip;
skip;
skip;
skip;
skip;
skip;
skip;
skip;
skip;
skip;
skip;
skip;
skip;
skip;
# 662 "/usr/local/include/mach/mach.defs" 3
routine vm_map(
  target_task : vm_task_t;
 inout address : vm_address_t;
  size : vm_size_t;
  mask : vm_address_t;
  anywhere : boolean_t;
  memory_object : memory_object_t;
  offset : vm_offset_t;
  copy : boolean_t;
  cur_protection : vm_prot_t;
  max_protection : vm_prot_t;
  inheritance : vm_inherit_t);
# 682 "/usr/local/include/mach/mach.defs" 3
simpleroutine memory_object_data_error(
  memory_control : memory_object_control_t;
  offset : vm_offset_t;
  size : vm_size_t;
  error_value : kern_return_t);





simpleroutine memory_object_set_attributes(
  memory_control : memory_object_control_t;
  object_ready : boolean_t;
  may_cache : boolean_t;
  copy_strategy : memory_object_copy_strategy_t);



simpleroutine memory_object_destroy(
  memory_control : memory_object_control_t;
  reason : kern_return_t);
# 726 "/usr/local/include/mach/mach.defs" 3
simpleroutine memory_object_data_supply(
  memory_control : memory_object_control_t;
  offset : vm_offset_t;
  data : pointer_t, Dealloc[];
  lock_value : vm_prot_t;
  precious : boolean_t;
  reply_to : mach_port_t =
   MACH_MSG_TYPE_MAKE_SEND_ONCE|polymorphic);

simpleroutine memory_object_ready(
  memory_control : memory_object_control_t;
  may_cache : boolean_t;
  copy_strategy : memory_object_copy_strategy_t);

simpleroutine memory_object_change_attributes(
  memory_control : memory_object_control_t;
  may_cache : boolean_t;
  copy_strategy : memory_object_copy_strategy_t;
  reply_to : mach_port_t =
   MACH_MSG_TYPE_MAKE_SEND_ONCE|polymorphic);

skip;
skip;
skip;






routine vm_machine_attribute(
  target_task : vm_task_t;
  address : vm_address_t;
  size : vm_size_t;
  attribute : vm_machine_attribute_t;
 inout value : vm_machine_attribute_val_t);

skip;
# 1 "mach.defs" 2