DIRECT_MAP_RESERVED_PML4_SLOTS
for (i = 0; i < DIRECT_MAP_RESERVED_PML4_SLOTS; i++)
DIRECT_MAP_RESERVED_PML4_SLOTS)