CPUMEM_BOOT_MEMORY
CPUMEM_BOOT_MEMORY(_name, ((_n) + 1) * sizeof(uint64_t))
CPUMEM_BOOT_MEMORY(_name, (_n) * sizeof(uint64_t))