Symbol: vm_get_cookie
sys/arm64/include/vmm.h
182
void* vm_get_cookie(struct vm *vm);
sys/arm64/vmm/io/vgic_v3.c
1786
hyp = vm_get_cookie(vm);
sys/arm64/vmm/io/vtimer.c
437
hyp = vm_get_cookie(vm);
sys/riscv/include/vmm.h
161
void *vm_get_cookie(struct vm *vm);