|
|
1.1 ! root 1: #ifndef __KERNEL__CPUID_H__ ! 2: #define __KERNEL__CPUID_H__ ! 3: ! 4: /* ! 5: * This internal header file is intended as the sole point of definition for ! 6: * the DDI/DKI data type "processorid_t". Drivers should not make any attempt ! 7: * to interpret the format of data items of this type, or assume that the size ! 8: * or type of this definition will remain consistent across releases of the ! 9: * operating system. Clients should not perform any operations other than ! 10: * assignment on data of this type. ! 11: */ ! 12: ! 13: typedef unsigned int processorid_t; ! 14: ! 15: ! 16: /* ! 17: * The following value is guaranteed never to be a valid processor id, and so ! 18: * can be used to indicate data that are not bound to any specific processor. ! 19: */ ! 20: ! 21: #define NOCPU ((processorid_t) -1) ! 22: ! 23: #endif /* ! defined (__KERNEL__CPUID_H__) */ ! 24:
This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.