HYP_VM_MAX_ADDRESS
if (next_hyp_va < HYP_VM_MAX_ADDRESS - PAGE_SIZE)
HYP_VM_MAX_ADDRESS - next_hyp_va, M_WAITOK);
CTASSERT((1ul << EL2_VIRT_BITS) >= HYP_VM_MAX_ADDRESS);