summaryrefslogtreecommitdiff
path: root/include/servers/machid.defs
diff options
context:
space:
mode:
Diffstat (limited to 'include/servers/machid.defs')
-rw-r--r--include/servers/machid.defs550
1 files changed, 0 insertions, 550 deletions
diff --git a/include/servers/machid.defs b/include/servers/machid.defs
deleted file mode 100644
index 185f251..0000000
--- a/include/servers/machid.defs
+++ /dev/null
@@ -1,550 +0,0 @@
-/*
- * Mach Operating System
- * Copyright (c) 1991,1990 Carnegie Mellon University
- * All Rights Reserved.
- *
- * Permission to use, copy, modify and distribute this software and its
- * documentation is hereby granted, provided that both the copyright
- * notice and this permission notice appear in all copies of the
- * software, derivative works or modified versions, and any portions
- * thereof, and that both notices appear in supporting documentation.
- *
- * CARNEGIE MELLON ALLOWS FREE USE OF THIS SOFTWARE IN ITS
- * CONDITION. CARNEGIE MELLON DISCLAIMS ANY LIABILITY OF ANY KIND FOR
- * ANY DAMAGES WHATSOEVER RESULTING FROM THE USE OF THIS SOFTWARE.
- *
- * Carnegie Mellon requests users of this software to return to
- *
- * Software Distribution Coordinator or Software.Distribution@CS.CMU.EDU
- * School of Computer Science
- * Carnegie Mellon University
- * Pittsburgh PA 15213-3890
- *
- * any improvements or extensions that they make and grant Carnegie the
- * rights to redistribute these changes.
- */
-
-subsystem machid 9829283;
-
-userprefix machid_;
-serverprefix do_;
-
-#include <mach/std_types.defs>
-#include <mach/mach_types.defs>
-#include <servers/machid_types.defs>
-
-routine mach_type(
- server : mach_port_t;
- auth : mach_port_t;
- id : mach_id_t;
- out mtype : mach_type_t);
-
-routine mach_register(
- server : mach_port_t;
- auth : mach_port_t;
- port : mach_port_t;
- mtype : mach_type_t;
- out id : mach_id_t);
-
-routine mach_lookup(
- server : mach_port_t;
- auth : mach_port_t;
- name : mach_id_t;
- atype : mach_type_t;
- out aname : mach_id_t);
-
-routine mach_port(
- server : mach_port_t;
- auth : mach_port_t;
- name : mach_id_t;
- out port : mach_port_move_send_t);
-
-routine host_ports(
- server : mach_port_t;
- auth : mach_port_t;
- out host : mhost_t;
- out phost : mhost_priv_t);
-
-routine host_processor_sets(
- server : mach_port_t;
- auth : mach_port_t;
- host : mhost_priv_t;
- out sets : mprocessor_set_array_t,
- CountInOut, Dealloc);
-
-routine host_tasks(
- server : mach_port_t;
- auth : mach_port_t;
- host : mhost_priv_t;
- out tasks : mtask_array_t,
- CountInOut, Dealloc);
-
-routine host_threads(
- server : mach_port_t;
- auth : mach_port_t;
- host : mhost_priv_t;
- out threads : mthread_array_t,
- CountInOut, Dealloc);
-
-routine host_processors(
- server : mach_port_t;
- auth : mach_port_t;
- host : mhost_priv_t;
- out procs : mprocessor_array_t,
- CountInOut, Dealloc);
-
-routine processor_set_threads(
- server : mach_port_t;
- auth : mach_port_t;
- pset : mprocessor_set_t;
- out threads : mthread_array_t,
- CountInOut, Dealloc);
-
-routine processor_set_tasks(
- server : mach_port_t;
- auth : mach_port_t;
- pset : mprocessor_set_t;
- out tasks : mtask_array_t,
- CountInOut, Dealloc);
-
-routine task_threads(
- server : mach_port_t;
- auth : mach_port_t;
- task : mtask_t;
- out threads : mthread_array_t,
- CountInOut, Dealloc);
-
-routine host_basic_info(
- server : mach_port_t;
- auth : mach_port_t;
- host : mhost_t;
- out info : host_basic_info_data_t);
-
-routine host_sched_info(
- server : mach_port_t;
- auth : mach_port_t;
- host : mhost_t;
- out info : host_sched_info_data_t);
-
-routine host_load_info(
- server : mach_port_t;
- auth : mach_port_t;
- host : mhost_t;
- out info : host_load_info_data_t);
-
-routine processor_set_default(
- server : mach_port_t;
- auth : mach_port_t;
- host : mhost_t;
- out pset : mprocessor_set_name_t);
-
-routine host_kernel_version(
- server : mach_port_t;
- auth : mach_port_t;
- host : mhost_t;
- out kernel_version : kernel_version_t);
-
-routine processor_basic_info(
- server : mach_port_t;
- auth : mach_port_t;
- proc : mprocessor_t;
- out host : mhost_t;
- out info : processor_basic_info_data_t);
-
-routine processor_set_basic_info(
- server : mach_port_t;
- auth : mach_port_t;
- pset : mprocessor_set_name_t;
- out host : mhost_t;
- out info : processor_set_basic_info_data_t);
-
-routine processor_set_sched_info(
- server : mach_port_t;
- auth : mach_port_t;
- pset : mprocessor_set_name_t;
- out host : mhost_t;
- out info : processor_set_sched_info_data_t);
-
-routine task_unix_info(
- server : mach_port_t;
- auth : mach_port_t;
- task : mtask_t;
- out pid : unix_pid_t;
- out comm : unix_command_t);
-
-routine task_basic_info(
- server : mach_port_t;
- auth : mach_port_t;
- task : mtask_t;
- out info : task_basic_info_data_t);
-
-routine task_thread_times_info(
- server : mach_port_t;
- auth : mach_port_t;
- task : mtask_t;
- out times : task_thread_times_info_data_t);
-
-routine thread_basic_info(
- server : mach_port_t;
- auth : mach_port_t;
- thread : mthread_t;
- out info : thread_basic_info_data_t);
-
-routine thread_sched_info(
- server : mach_port_t;
- auth : mach_port_t;
- thread : mthread_t;
- out info : thread_sched_info_data_t);
-
-#ifdef mips
-routine mips_thread_state(
- server : mach_port_t;
- auth : mach_port_t;
- thread : mthread_t;
- out state : mips_thread_state_t);
-#else
-skip;
-#endif
-
-#ifdef sun3
-routine sun3_thread_state(
- server : mach_port_t;
- auth : mach_port_t;
- thread : mthread_t;
- out state : sun3_thread_state_t);
-#else
-skip;
-#endif
-
-#ifdef vax
-routine vax_thread_state(
- server : mach_port_t;
- auth : mach_port_t;
- thread : mthread_t;
- out state : vax_thread_state_t);
-#else
-skip;
-#endif
-
-#ifdef i386
-routine i386_thread_state(
- server : mach_port_t;
- auth : mach_port_t;
- thread : mthread_t;
- out state : i386_thread_state_t);
-#else
-skip;
-#endif
-
-routine task_terminate(
- server : mach_port_t;
- auth : mach_port_t;
- task : mtask_t);
-
-routine task_suspend(
- server : mach_port_t;
- auth : mach_port_t;
- task : mtask_t);
-
-routine task_resume(
- server : mach_port_t;
- auth : mach_port_t;
- task : mtask_t);
-
-routine thread_terminate(
- server : mach_port_t;
- auth : mach_port_t;
- thread : mthread_t);
-
-routine thread_suspend(
- server : mach_port_t;
- auth : mach_port_t;
- thread : mthread_t);
-
-routine thread_resume(
- server : mach_port_t;
- auth : mach_port_t;
- thread : mthread_t);
-
-routine thread_abort(
- server : mach_port_t;
- auth : mach_port_t;
- thread : mthread_t);
-
-skip; /* was thread_depress_abort */
-
-routine processor_set_destroy(
- server : mach_port_t;
- auth : mach_port_t;
- pset : mprocessor_set_t);
-
-routine processor_start(
- server : mach_port_t;
- auth : mach_port_t;
- processor : mprocessor_t);
-
-routine processor_exit(
- server : mach_port_t;
- auth : mach_port_t;
- processor : mprocessor_t);
-
-routine vm_region(
- server : mach_port_t;
- auth : mach_port_t;
- task : mtask_t;
- addr : vm_offset_t;
- out info : vm_region_t);
-
-routine vm_read(
- server : mach_port_t;
- auth : mach_port_t;
- task : mtask_t;
- addr : vm_offset_t;
- size : vm_size_t;
- out data : pointer_t, Dealloc);
-
-routine thread_priority(
- server : mach_port_t;
- auth : mach_port_t;
- thread : mthread_t;
- priority : int;
- set_max : boolean_t);
-
-routine thread_max_priority(
- server : mach_port_t;
- auth : mach_port_t;
- thread : mthread_t;
- pset : mprocessor_set_t;
- max_pri : int);
-
-routine task_priority(
- server : mach_port_t;
- auth : mach_port_t;
- task : mtask_t;
- priority : int;
- change_threads : boolean_t);
-
-routine processor_set_max_priority(
- server : mach_port_t;
- auth : mach_port_t;
- pset : mprocessor_set_t;
- max_pri : int;
- change_threads : boolean_t);
-
-routine port_names(
- server : mach_port_t;
- auth : mach_port_t;
- task : mtask_t;
- out names : mach_port_name_array_t,
- CountInOut, Dealloc;
- out types : mach_port_type_array_t,
- CountInOut, Dealloc);
-
-routine port_type(
- server : mach_port_t;
- auth : mach_port_t;
- task : mtask_t;
- name : mach_port_name_t;
- out ptype : mach_port_type_t);
-
-routine port_get_refs(
- server : mach_port_t;
- auth : mach_port_t;
- task : mtask_t;
- name : mach_port_name_t;
- right : mach_port_right_t;
- out refs : mach_port_urefs_t);
-
-routine port_get_receive_status(
- server : mach_port_t;
- auth : mach_port_t;
- task : mtask_t;
- name : mach_port_name_t;
- out status : mach_port_status_t);
-
-routine port_get_set_status(
- server : mach_port_t;
- auth : mach_port_t;
- task : mtask_t;
- name : mach_port_name_t;
- out members : mach_port_name_array_t,
- CountInOut, Dealloc);
-
-routine processor_get_assignment(
- server : mach_port_t;
- auth : mach_port_t;
- proc : mprocessor_t;
- out pset : mprocessor_set_name_t);
-
-routine thread_get_assignment(
- server : mach_port_t;
- auth : mach_port_t;
- thread : mthread_t;
- out pset : mprocessor_set_name_t);
-
-routine task_get_assignment(
- server : mach_port_t;
- auth : mach_port_t;
- task : mtask_t;
- out pset : mprocessor_set_name_t);
-
-routine host_processor_set_priv(
- server : mach_port_t;
- auth : mach_port_t;
- host : mhost_priv_t;
- psetn : mprocessor_set_name_t;
- out pset : mprocessor_set_t);
-
-routine host_processor_set_names(
- server : mach_port_t;
- auth : mach_port_t;
- host : mhost_t;
- out sets : mprocessor_set_name_array_t,
- CountInOut, Dealloc);
-
-routine processor_set_create(
- server : mach_port_t;
- auth : mach_port_t;
- host : mhost_t;
- out pset : mprocessor_set_t;
- out psetn : mprocessor_set_name_t);
-
-routine task_create(
- server : mach_port_t;
- auth : mach_port_t;
- parent : mtask_t;
- inherit : boolean_t;
- out task : mtask_t);
-
-routine thread_create(
- server : mach_port_t;
- auth : mach_port_t;
- task : mtask_t;
- out thread : mthread_t);
-
-routine processor_assign(
- server : mach_port_t;
- auth : mach_port_t;
- processor : mprocessor_t;
- pset : mprocessor_set_t;
- wait : boolean_t);
-
-routine thread_assign(
- server : mach_port_t;
- auth : mach_port_t;
- thread : mthread_t;
- pset : mprocessor_set_t);
-
-routine thread_assign_default(
- server : mach_port_t;
- auth : mach_port_t;
- thread : mthread_t);
-
-routine task_assign(
- server : mach_port_t;
- auth : mach_port_t;
- task : mtask_t;
- pset : mprocessor_set_t;
- assign_threads : boolean_t);
-
-routine task_assign_default(
- server : mach_port_t;
- auth : mach_port_t;
- task : mtask_t;
- assign_threads : boolean_t);
-
-routine thread_policy(
- server : mach_port_t;
- auth : mach_port_t;
- thread : mthread_t;
- policy : int;
- data : int);
-
-routine processor_set_policy_enable(
- server : mach_port_t;
- auth : mach_port_t;
- processor_set : mprocessor_set_t;
- policy : int);
-
-routine processor_set_policy_disable(
- server : mach_port_t;
- auth : mach_port_t;
- processor_set : mprocessor_set_t;
- policy : int;
- change_threads : boolean_t);
-
-routine host_default_pager(
- server : mach_port_t;
- auth : mach_port_t;
- host : mhost_priv_t;
- out default_pager : mdefault_pager_t);
-
-skip; /* was default_pager_info */
-
-routine vm_statistics(
- server : mach_port_t;
- auth : mach_port_t;
- task : mtask_t;
- out data : vm_statistics_data_t);
-
-routine host_kernel_task(
- server : mach_port_t;
- auth : mach_port_t;
- host : mhost_priv_t;
- out kernel_task : mtask_t);
-
-routine task_host(
- server : mach_port_t;
- auth : mach_port_t;
- task : mtask_t;
- out host : mhost_t);
-
-routine thread_host(
- server : mach_port_t;
- auth : mach_port_t;
- thread : mthread_t;
- out host : mhost_t);
-
-routine processor_host(
- server : mach_port_t;
- auth : mach_port_t;
- proc : mprocessor_t;
- out host : mhost_t);
-
-
-#ifdef sun4
-routine sparc_thread_state(
- server : mach_port_t;
- auth : mach_port_t;
- thread : mthread_t;
- out state : sparc_thread_state_t);
-#else sun4
-skip;
-#endif sun4
-
-#ifdef alpha
-routine alpha_thread_state(
- server : mach_port_t;
- auth : mach_port_t;
- thread : mthread_t;
- out state : alpha_thread_state_t);
-#else
-skip;
-#endif
-
-#ifdef parisc
-routine parisc_thread_state(
- server : mach_port_t;
- auth : mach_port_t;
- thread : mthread_t;
- out state : parisc_thread_state_t);
-#else
-skip;
-#endif
-
-routine task_set_unix_info(
- server : mach_port_t;
- auth : mach_port_t;
- task : mtask_t;
- pid : unix_pid_t;
- comm : unix_command_t);