sys/arm64/vmm/arm64.h

157

uint64_t vmm_call_hyp(uint64_t, ...);

sys/arm64/vmm/vmm_arm64.c

161

vmm_call_hyp(vtophys(&vmm_hyp_code));

sys/arm64/vmm/vmm_arm64.c

167

vmm_call_hyp(vmmpmap_to_ttbr0(), stack_top, el2_regs->tcr_el2,

sys/arm64/vmm/vmm_arm64.c

195

vmm_call_hyp(HYP_CLEANUP, vtophys(hyp_stub_vectors));

sys/arm64/vmm/vmm_handlers.c

105

vmm_call_hyp(HYP_S2_TLBI_ALL, vttbr);

sys/arm64/vmm/vmm_handlers.c

40

return (vmm_call_hyp(HYP_READ_REGISTER, reg));

sys/arm64/vmm/vmm_handlers.c

54

return (vmm_call_hyp(HYP_ENTER_GUEST, hyp->el2_addr, hypctx->el2_addr));

sys/arm64/vmm/vmm_handlers.c

69

vmm_call_hyp(HYP_CLEAN_S2_TLBI);

sys/arm64/vmm/vmm_handlers.c

87

vmm_call_hyp(HYP_S2_TLBI_RANGE, vttbr, sva, eva, final_only);

sys/arm64/vmm/vmm_mmu.c

405

vmm_call_hyp(HYP_DC_CIVAC, sva, size);

sys/arm64/vmm/vmm_mmu.c

411

vmm_call_hyp(HYP_EL2_TLBI, HYP_EL2_TLBI_VA, sva, size);