IN_VA_HOLE
#define IN_VA_HOLE(va) (__lintzero)
#define IN_VA_HOLE(va) (mmu.hole_start <= (va) && (va) < mmu.hole_end)