hole_high 651 arch/x86/xen/mmu_pv.c unsigned hole_low = 0, hole_high = 0; hole_high 663 arch/x86/xen/mmu_pv.c hole_high = pgd_index(GUARD_HOLE_END_ADDR); hole_high 670 arch/x86/xen/mmu_pv.c if (i >= hole_low && i < hole_high)