Symbol: vm_get_cookie
sys/arm64/vmm/vmm.c
820
vm_get_cookie(struct vm *vm)
sys/riscv/vmm/vmm.c
495
vm_get_cookie(struct vm *vm)