vmmpmap_to_ttbr0
uint64_t vmmpmap_to_ttbr0(void);
vmm_call_hyp(vmmpmap_to_ttbr0(), stack_top, el2_regs->tcr_el2,