Symbol: vcpu_get_cookie
sys/arm64/vmm/vmm.c
789
vcpu_get_cookie(struct vcpu *vcpu)
sys/riscv/vmm/vmm.c
463
vcpu_get_cookie(struct vcpu *vcpu)