sys/amd64/vmm/vmm_ioport.c

209

VCPU_CTR4(vcpu_vm(vcpu), vcpu_vcpuid(vcpu), "%s%s 0x%04x: %s",

sys/amd64/vmm/x86.c

81

int vcpu_id = vcpu_vcpuid(vcpu);

sys/arm64/vmm/io/vgic_v3.c

1071

INJECT_IRQ(hypctx->hyp, vcpu_vcpuid(hypctx->vcpu), irqid,

sys/arm64/vmm/io/vgic_v3.c

1470

if (vcpu_vcpuid(hypctx->vcpu) == (vgic_max_cpu_count(hypctx->hyp) - 1))

sys/arm64/vmm/io/vgic_v3.c

1487

(uint64_t)vcpu_vcpuid(hypctx->vcpu) << GICR_TYPER_CPUNUM_SHIFT;

sys/arm64/vmm/io/vgic_v3.c

1788

vcpuid = vcpu_vcpuid(vcpu);

sys/arm64/vmm/io/vgic_v3.c

2202

irq = vgic_v3_get_irq(hypctx->hyp, vcpu_vcpuid(hypctx->vcpu),

sys/arm64/vmm/io/vgic_v3.c

485

irq->target_vcpu = vcpu_vcpuid(hypctx->vcpu);

sys/arm64/vmm/io/vgic_v3.c

670

irq = vgic_v3_get_irq(hypctx->hyp, vcpu_vcpuid(hypctx->vcpu),

sys/arm64/vmm/io/vgic_v3.c

697

irq = vgic_v3_get_irq(hypctx->hyp, vcpu_vcpuid(hypctx->vcpu),

sys/arm64/vmm/io/vgic_v3.c

718

irq = vgic_v3_get_irq(hypctx->hyp, vcpu_vcpuid(hypctx->vcpu),

sys/arm64/vmm/io/vgic_v3.c

751

irq = vgic_v3_get_irq(hypctx->hyp, vcpu_vcpuid(hypctx->vcpu),

sys/arm64/vmm/io/vgic_v3.c

796

irq = vgic_v3_get_irq(hypctx->hyp, vcpu_vcpuid(hypctx->vcpu),

sys/arm64/vmm/io/vgic_v3.c

827

irq = vgic_v3_get_irq(hypctx->hyp, vcpu_vcpuid(hypctx->vcpu),

sys/arm64/vmm/io/vgic_v3.c

871

irq = vgic_v3_get_irq(hypctx->hyp, vcpu_vcpuid(hypctx->vcpu),

sys/arm64/vmm/io/vgic_v3.c

890

irq = vgic_v3_get_irq(hypctx->hyp, vcpu_vcpuid(hypctx->vcpu),

sys/arm64/vmm/io/vgic_v3.c

912

irq = vgic_v3_get_irq(hypctx->hyp, vcpu_vcpuid(hypctx->vcpu),

sys/arm64/vmm/io/vgic_v3.c

941

irq = vgic_v3_get_irq(hypctx->hyp, vcpu_vcpuid(hypctx->vcpu),

sys/arm64/vmm/io/vgic_v3.c

958

irq = vgic_v3_get_irq(hypctx->hyp, vcpu_vcpuid(hypctx->vcpu), n);

sys/arm64/vmm/io/vgic_v3.c

974

irq = vgic_v3_get_irq(hypctx->hyp, vcpu_vcpuid(hypctx->vcpu), n);

sys/arm64/vmm/io/vtimer.c

102

vgic_inject_irq(hypctx->hyp, vcpu_vcpuid(hypctx->vcpu),

sys/arm64/vmm/io/vtimer.c

274

vgic_inject_irq(hypctx->hyp, vcpu_vcpuid(hypctx->vcpu),

sys/arm64/vmm/io/vtimer.c

277

vgic_inject_irq(hypctx->hyp, vcpu_vcpuid(hypctx->vcpu),

sys/arm64/vmm/io/vtimer.c

280

vgic_inject_irq(hypctx->hyp, vcpu_vcpuid(hypctx->vcpu),

sys/arm64/vmm/io/vtimer.c

307

vgic_inject_irq(hypctx->hyp, vcpu_vcpuid(hypctx->vcpu),

sys/arm64/vmm/io/vtimer.c

317

vgic_inject_irq(hypctx->hyp, vcpu_vcpuid(hypctx->vcpu),

sys/arm64/vmm/io/vtimer.c

337

vgic_inject_irq(hypctx->hyp, vcpu_vcpuid(hypctx->vcpu),

sys/arm64/vmm/io/vtimer.c

367

vgic_inject_irq(hypctx->hyp, vcpu_vcpuid(vcpu), timer->irqid, false);

sys/arm64/vmm/vmm_arm64.c

1287

vcpu_vcpuid(hypctx->vcpu));

sys/arm64/vmm/vmm_arm64.c

1307

vcpu_vcpuid(hypctx->vcpu));

sys/arm64/vmm/vmm_arm64.c

1326

vcpu_vcpuid(hypctx->vcpu));

sys/arm64/vmm/vmm_reset.c

121

vcpuid = vcpu_vcpuid(el2ctx->vcpu);

sys/dev/vmm/vmm_dev.c

140

vm_name(vcpu_vm(vcpu)), vcpu_vcpuid(vcpu), state);

sys/dev/vmm/vmm_vm.h

217

return (CPU_ISSET(vcpu_vcpuid(vcpu), info->rptr));

sys/riscv/vmm/vmm_riscv.c

866

vcpu_vcpuid(hypctx->vcpu));

sys/riscv/vmm/vmm_riscv.c

894

vcpu_vcpuid(hypctx->vcpu));

sys/riscv/vmm/vmm_riscv.c

916

vcpu_vcpuid(hypctx->vcpu));