cpu_id.h File Reference

#include <stdint.h>

Go to the source code of this file.

Macros
#define	CPU_MAX   UINT8_MAX
	Maximum number of CPUs supported.
#define	CPU_ID_BOOTSTRAP   0
	ID of the bootstrap CPU.
#define	CPU_ID_INVALID   UINT16_MAX
	Invalid CPU ID.

Typedefs
typedef uint16_t	cpuid_t
	Type used to identify a CPU.