void ipc_kobject_destroy( ipc_port_t port) { switch (ip_kotype(port)) { case IKOT_TIMER: mk_timer_port_destroy(port); break; case IKOT_NAMED_ENTRY: mach_destroy_memory_entry(port); break; case IKOT_HOST_NOTIFY: host_notify_port_destroy(port); break; #if CONFIG_MACF_MACH case IKOT_LABELH: labelh_destroy(port); break; #endif default: break; } }
void ipc_kobject_destroy( ipc_port_t port) { switch (ip_kotype(port)) { case IKOT_TIMER: mk_timer_port_destroy(port); break; case IKOT_NAMED_ENTRY: mach_destroy_memory_entry(port); break; case IKOT_HOST_NOTIFY: host_notify_port_destroy(port); break; default: break; } }