ci_PAGEALIGN
offsetof(struct cpu_info, ci_PAGEALIGN)) % 64 == 0);
#define cpu_info_primary (*(struct cpu_info *)((char *)&cpu_info_full_primary + 4096*2 - offsetof(struct cpu_info, ci_PAGEALIGN)))
- offsetof(struct cpu_info, ci_PAGEALIGN)) / sizeof(uint64_t)];
CTASSERT(offsetof(struct cpu_info_full, cif_cpu.ci_PAGEALIGN) % PAGE_SIZE == 0);
#define cpu_info_primary (*(struct cpu_info *)((char *)&cpu_info_full_primary + PAGE_SIZE*2 - offsetof(struct cpu_info, ci_PAGEALIGN)))
- offsetof(struct cpu_info, ci_PAGEALIGN)) / sizeof(uint32_t)];
CTASSERT(offsetof(struct cpu_info_full, cif_cpu.ci_PAGEALIGN) % PAGE_SIZE == 0);