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