Searched refs:vmmpmap_to_ttbr0 (Results 1 – 2 of 2) sorted by relevance
150 vmmpmap_to_ttbr0(void) in vmmpmap_to_ttbr0() function
168 vmm_call_hyp(vmmpmap_to_ttbr0(), stack_top, el2_regs->tcr_el2, in arm_setup_vectors()