Searched refs:kpm2_high (Results 1 – 1 of 1) sorted by relevance
99 uintptr_t kpm2_high = 0; variable279 if (va >= kpm2_low && va < kpm2_high) { in xpv_va_walk()280 va = kpm2_high; in xpv_va_walk()735 kpm2_high = (uintptr_t)xpv_panic_info->pi_ram_end; in xpv_do_panic()