Home
last modified time | relevance | path

Searched refs:vmmops_vcpu_cleanup (Results 1 – 5 of 5) sorted by relevance

/freebsd/sys/riscv/vmm/
H A Dvmm_riscv.c743 vmmops_vcpu_cleanup(void *vcpui) in vmmops_vcpu_cleanup() function
H A Dvmm.c171 vmmops_vcpu_cleanup(vcpu->cookie); in vcpu_cleanup()
/freebsd/sys/arm64/vmm/
H A Dvmm_arm64.c1197 vmmops_vcpu_cleanup(void *vcpui) in vmmops_vcpu_cleanup() function
H A Dvmm.c271 vmmops_vcpu_cleanup(vcpu->cookie); in vcpu_cleanup()
/freebsd/sys/amd64/vmm/
H A Dvmm.c335 vmmops_vcpu_cleanup(vcpu->cookie); in vcpu_cleanup()