VA_RANGE_KPTES
va_ranges[VA_RANGE_KPTES].start_va = (vaddr_t)SYSMAP_VA;
va_ranges[VA_RANGE_KPTES].end_va = 0; /* end of the address space */
struct va_range *kpte_var = &va_ranges[VA_RANGE_KPTES];