Home
last modified time | relevance | path

Searched refs:vcpu_get_cookie (Results 1 – 8 of 8) sorted by relevance

/freebsd/sys/arm64/vmm/io/
H A Dvtimer.c389 hypctx = vcpu_get_cookie(vcpu); in vtimer_phys_ctl_read()
411 hypctx = vcpu_get_cookie(vcpu); in vtimer_phys_ctl_write()
454 hypctx = vcpu_get_cookie(vcpu); in vtimer_phys_cval_read()
468 hypctx = vcpu_get_cookie(vcpu); in vtimer_phys_cval_write()
489 hypctx = vcpu_get_cookie(vcpu); in vtimer_phys_tval_read()
518 hypctx = vcpu_get_cookie(vcpu); in vtimer_phys_tval_write()
H A Dvgic_v3.c1379 hypctx = vcpu_get_cookie(vcpu); in dist_read()
1417 hypctx = vcpu_get_cookie(vcpu); in dist_write()
1624 hypctx = vcpu_get_cookie(vcpu); in redist_read()
1702 hypctx = vcpu_get_cookie(vcpu); in redist_write()
/freebsd/sys/arm64/vmm/
H A Dvmm.c433 hypctx = vcpu_get_cookie(vcpu); in vmm_write_oslar_el1()
446 hypctx = vcpu_get_cookie(vcpu); in vmm_read_oslsr_el1()
789 vcpu_get_cookie(struct vcpu *vcpu) in vcpu_get_cookie() function
863 hypctx = vcpu_get_cookie(vcpu); in vm_handle_smccc_call()
/freebsd/sys/riscv/vmm/
H A Dvmm_fence.c162 hypctx = vcpu_get_cookie(vcpu); in vmm_fence_add()
H A Dvmm_aplic.c337 hypctx = vcpu_get_cookie(vcpu); in mem_read()
366 hypctx = vcpu_get_cookie(vcpu); in mem_write()
H A Dvmm.c463 vcpu_get_cookie(struct vcpu *vcpu) in vcpu_get_cookie() function
/freebsd/sys/riscv/include/
H A Dvmm.h162 void *vcpu_get_cookie(struct vcpu *vcpu);
/freebsd/sys/arm64/include/
H A Dvmm.h183 void *vcpu_get_cookie(struct vcpu *vcpu);