pub type processor_set_control_t = mach_port_t;