|
|
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.