Previous: Processor Set Interface, Up: Processors and Processor Sets

9.2 Processor Interface

— Data type: processor_t

This is a mach_port_t and used to hold the port name of a processor port that represents the processor. Operations on the processor are implemented as remote procedure calls to the processor port.