cpu_id.h

Go to the documentation of this file.

#pragma once
 
#include <stdint.h>
 
#define CPU_MAX UINT8_MAX
 
#define CPU_ID_BOOTSTRAP 0
 
#define CPU_ID_INVALID UINT16_MAX
 
typedef uint16_t cpuid_t;