Logo Search packages:      
Sourcecode: virtualbox-ose version File versions

typedef uint32_t RTCPUID

A CPU identifier.

This doesn't have to correspond to the APIC ID (intel/amd). Nor does it have to correspond to the bits in the affinity mask, at least not until we've sorted out Windows NT.

Definition at line 1160 of file types.h.

Generated by  Doxygen 1.6.0   Back to index