KERNEL_TEXT
target_kernel_text = KERNEL_TEXT;
va = KERNEL_TEXT;
protect_boot_range(KERNEL_TEXT, (uintptr_t)-1, 0);
for (va = KERNEL_TEXT;
for (va = KERNEL_TEXT;
#define DEBUG_INFO_VA (KERNEL_TEXT - MMU_PAGESIZE)
#define MISC_VA_SIZE (KERNEL_TEXT - MISC_VA_BASE)