Symbol: vmmpmap_to_ttbr0
sys/arm64/vmm/mmu.h
48
uint64_t vmmpmap_to_ttbr0(void);
sys/arm64/vmm/vmm_arm64.c
167
vmm_call_hyp(vmmpmap_to_ttbr0(), stack_top, el2_regs->tcr_el2,