sys/arm64/vmm/vmm_hyp.c

41

uint64_t VMM_HYP_FUNC(do_call_guest)(struct hypctx *);

sys/arm64/vmm/vmm_hyp.c

595

ret = VMM_HYP_FUNC(do_call_guest)(hypctx);

sys/arm64/vmm/vmm_hyp.c

671

VMM_HYP_FUNC(enter_guest)(struct hyp *hyp, struct hypctx *hypctx)

sys/arm64/vmm/vmm_hyp.c

702

VMM_HYP_FUNC(s2_tlbi_range)(uint64_t vttbr, vm_offset_t sva, vm_offset_t eva,

sys/arm64/vmm/vmm_nvhe.c

100

VMM_HYP_FUNC(clean_s2_tlbi());

sys/arm64/vmm/vmm_nvhe.c

107

VMM_HYP_FUNC(s2_tlbi_range)(x1, x2, x3, x4);

sys/arm64/vmm/vmm_nvhe.c

110

VMM_HYP_FUNC(s2_tlbi_all)(x1);

sys/arm64/vmm/vmm_nvhe.c

95

return (VMM_HYP_FUNC(enter_guest)((struct hyp *)x1,

sys/arm64/vmm/vmm_nvhe.c

98

return (VMM_HYP_FUNC(read_reg)(x1));