Searched refs:kpm1_high (Results 1 – 1 of 1) sorted by relevance
97 uintptr_t kpm1_high = 0; variable275 if (va >= kpm1_low && va < kpm1_high) { in xpv_va_walk()276 va = kpm1_high; in xpv_va_walk()731 kpm1_high = (uintptr_t)xpv_panic_info->pi_ram_end; in xpv_do_panic()733 kpm1_high = (uintptr_t)xpv_panic_info->pi_xen_start; in xpv_do_panic()