Home
last modified time | relevance | path

Searched refs:vm_get_cookie (Results 1 – 6 of 6) sorted by relevance

/freebsd/sys/riscv/include/
H A Dvmm.h161 void *vm_get_cookie(struct vm *vm);
/freebsd/sys/arm64/include/
H A Dvmm.h182 void* vm_get_cookie(struct vm *vm);
/freebsd/sys/arm64/vmm/io/
H A Dvtimer.c437 hyp = vm_get_cookie(vm); in vtimer_phys_cnt_read()
H A Dvgic_v3.c1786 hyp = vm_get_cookie(vm); in vgic_v3_icc_sgi1r_write()
/freebsd/sys/riscv/vmm/
H A Dvmm.c495 vm_get_cookie(struct vm *vm) in vm_get_cookie() function
/freebsd/sys/arm64/vmm/
H A Dvmm.c820 vm_get_cookie(struct vm *vm) in vm_get_cookie() function