cpu_info_full
struct cpu_info_full cpu_info_full_primary = {0};
cpu_enter_pages(struct cpu_info_full *cif)
struct cpu_info_full cpu_info_full_primary = { .cif_cpu = {
struct cpu_info_full *cif;
struct cpu_info_full;
extern struct cpu_info_full cpu_info_full_primary;
CTASSERT(offsetof(struct cpu_info_full, cif_cpu.ci_PAGEALIGN) % PAGE_SIZE == 0);
CTASSERT(sizeof(struct cpu_info_full) % PAGE_SIZE == 0);
extern struct cpu_info_full cpu_info_full_primary;
struct cpu_info_full;
void cpu_enter_pages(struct cpu_info_full *);
struct cpu_info_full cpu_info_full_primary = { .cif_cpu = {
struct cpu_info_full *cif;
cpu_enter_pages(struct cpu_info_full *cif)
struct cpu_info_full;
extern struct cpu_info_full cpu_info_full_primary;
CTASSERT(offsetof(struct cpu_info_full, cif_cpu.ci_PAGEALIGN) % PAGE_SIZE == 0);
CTASSERT(sizeof(struct cpu_info_full) % PAGE_SIZE == 0);
extern struct cpu_info_full cpu_info_full_primary;
struct cpu_info_full;
void cpu_enter_pages(struct cpu_info_full *);