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.c344 hypctx = vcpu_get_cookie(vcpu); in vtimer_phys_ctl_read()
366 hypctx = vcpu_get_cookie(vcpu); in vtimer_phys_ctl_write()
409 hypctx = vcpu_get_cookie(vcpu); in vtimer_phys_cval_read()
423 hypctx = vcpu_get_cookie(vcpu); in vtimer_phys_cval_write()
444 hypctx = vcpu_get_cookie(vcpu); in vtimer_phys_tval_read()
473 hypctx = vcpu_get_cookie(vcpu); in vtimer_phys_tval_write()
H A Dvgic_v3.c1378 hypctx = vcpu_get_cookie(vcpu); in dist_read()
1416 hypctx = vcpu_get_cookie(vcpu); in dist_write()
1623 hypctx = vcpu_get_cookie(vcpu); in redist_read()
1701 hypctx = vcpu_get_cookie(vcpu); in redist_write()
/freebsd/sys/riscv/vmm/
H A Dvmm_fence.c159 hypctx = vcpu_get_cookie(vcpu); in vmm_fence_add()
H A Dvmm_aplic.c335 hypctx = vcpu_get_cookie(vcpu); in mem_read()
364 hypctx = vcpu_get_cookie(vcpu); in mem_write()
H A Dvmm.c928 vcpu_get_cookie(struct vcpu *vcpu) in vcpu_get_cookie() function
/freebsd/sys/riscv/include/
H A Dvmm.h145 void *vcpu_get_cookie(struct vcpu *vcpu);
/freebsd/sys/arm64/include/
H A Dvmm.h164 void *vcpu_get_cookie(struct vcpu *vcpu);
/freebsd/sys/arm64/vmm/
H A Dvmm.c1220 vcpu_get_cookie(struct vcpu *vcpu) in vcpu_get_cookie() function
1327 hypctx = vcpu_get_cookie(vcpu); in vm_handle_smccc_call()