#define xxx_port_allocate xxx_port_allocate_EXTERNAL
#define xxx_port_deallocate xxx_port_deallocate_EXTERNAL
#define xxx_port_enable xxx_port_enable_EXTERNAL
#define xxx_port_disable xxx_port_disable_EXTERNAL
#define xxx_port_select xxx_port_select_EXTERNAL
#define xxx_port_set_backlog xxx_port_set_backlog_EXTERNAL
#define xxx_port_status xxx_port_status_EXTERNAL
#define task_create task_create_EXTERNAL
#define task_terminate task_terminate_EXTERNAL
#define task_threads task_threads_EXTERNAL
#define thread_terminate thread_terminate_EXTERNAL
#define vm_allocate vm_allocate_EXTERNAL
#define vm_deallocate vm_deallocate_EXTERNAL
#define vm_protect vm_protect_EXTERNAL
#define vm_inherit vm_inherit_EXTERNAL
#define vm_read vm_read_EXTERNAL
#define vm_write vm_write_EXTERNAL
#define vm_copy vm_copy_EXTERNAL
#define vm_region vm_region_EXTERNAL
#define vm_statistics vm_statistics_EXTERNAL
#define task_by_unix_pid task_by_unix_pid_EXTERNAL
#define mach_ports_register mach_ports_register_EXTERNAL
#define mach_ports_lookup mach_ports_lookup_EXTERNAL
#define unix_pid unix_pid_EXTERNAL
#define netipc_listen netipc_listen_EXTERNAL
#define netipc_ignore netipc_ignore_EXTERNAL
#define xxx_host_info xxx_host_info_EXTERNAL
#define xxx_slot_info xxx_slot_info_EXTERNAL
#define xxx_cpu_control xxx_cpu_control_EXTERNAL
#define task_suspend task_suspend_EXTERNAL
#define task_resume task_resume_EXTERNAL
#define task_get_special_port task_get_special_port_EXTERNAL
#define task_set_special_port task_set_special_port_EXTERNAL
#define task_info task_info_EXTERNAL
#define thread_create thread_create_EXTERNAL
#define thread_suspend thread_suspend_EXTERNAL
#define thread_resume thread_resume_EXTERNAL
#define thread_abort thread_abort_EXTERNAL
#define thread_get_state thread_get_state_EXTERNAL
#define thread_set_state thread_set_state_EXTERNAL
#define thread_get_special_port thread_get_special_port_EXTERNAL
#define thread_set_special_port thread_set_special_port_EXTERNAL
#define thread_info thread_info_EXTERNAL
#define task_set_emulation task_set_emulation_EXTERNAL
#define task_get_io_port task_get_io_port_EXTERNAL
#define port_names port_names_EXTERNAL
#define port_type port_type_EXTERNAL
#define port_rename port_rename_EXTERNAL
#define port_allocate port_allocate_EXTERNAL
#define port_deallocate port_deallocate_EXTERNAL
#define port_set_backlog port_set_backlog_EXTERNAL
#define port_status port_status_EXTERNAL
#define port_set_allocate port_set_allocate_EXTERNAL
#define port_set_deallocate port_set_deallocate_EXTERNAL
#define port_set_add port_set_add_EXTERNAL
#define port_set_remove port_set_remove_EXTERNAL
#define port_set_status port_set_status_EXTERNAL
#define port_insert_send port_insert_send_EXTERNAL
#define port_extract_send port_extract_send_EXTERNAL
#define port_insert_receive port_insert_receive_EXTERNAL
#define port_extract_receive port_extract_receive_EXTERNAL
#define port_set_backup port_set_backup_EXTERNAL
#define vm_machine_attribute vm_machine_attribute_EXTERNAL
