MAX_EARLYBOOT_MAPPINGS
} earlyboot_mappings[MAX_EARLYBOOT_MAPPINGS];
KASSERT(earlyboot_map_idx < MAX_EARLYBOOT_MAPPINGS,