sys/arm64/include/vmm.h

183

void *vcpu_get_cookie(struct vcpu *vcpu);

sys/arm64/vmm/io/vgic_v3.c

1379

hypctx = vcpu_get_cookie(vcpu);

sys/arm64/vmm/io/vgic_v3.c

1417

hypctx = vcpu_get_cookie(vcpu);

sys/arm64/vmm/io/vgic_v3.c

1624

hypctx = vcpu_get_cookie(vcpu);

sys/arm64/vmm/io/vgic_v3.c

1702

hypctx = vcpu_get_cookie(vcpu);

sys/arm64/vmm/io/vtimer.c

389

hypctx = vcpu_get_cookie(vcpu);

sys/arm64/vmm/io/vtimer.c

411

hypctx = vcpu_get_cookie(vcpu);

sys/arm64/vmm/io/vtimer.c

454

hypctx = vcpu_get_cookie(vcpu);

sys/arm64/vmm/io/vtimer.c

468

hypctx = vcpu_get_cookie(vcpu);

sys/arm64/vmm/io/vtimer.c

489

hypctx = vcpu_get_cookie(vcpu);

sys/arm64/vmm/io/vtimer.c

518

hypctx = vcpu_get_cookie(vcpu);

sys/arm64/vmm/vmm.c

433

hypctx = vcpu_get_cookie(vcpu);

sys/arm64/vmm/vmm.c

446

hypctx = vcpu_get_cookie(vcpu);

sys/arm64/vmm/vmm.c

863

hypctx = vcpu_get_cookie(vcpu);

sys/riscv/include/vmm.h

162

void *vcpu_get_cookie(struct vcpu *vcpu);

sys/riscv/vmm/vmm_aplic.c

337

hypctx = vcpu_get_cookie(vcpu);

sys/riscv/vmm/vmm_aplic.c

366

hypctx = vcpu_get_cookie(vcpu);

sys/riscv/vmm/vmm_fence.c

162

hypctx = vcpu_get_cookie(vcpu);