Searched refs:vcpu_vcpuid (Results 1 – 14 of 14) sorted by relevance
/freebsd/sys/arm64/vmm/io/ |
H A D | vtimer.c | 93 vgic_inject_irq(hypctx->hyp, vcpu_vcpuid(hypctx->vcpu), in vtimer_virtual_timer_intr() 244 vgic_inject_irq(hypctx->hyp, vcpu_vcpuid(hypctx->vcpu), in vtimer_sync_hwstate() 247 vgic_inject_irq(hypctx->hyp, vcpu_vcpuid(hypctx->vcpu), in vtimer_sync_hwstate() 250 vgic_inject_irq(hypctx->hyp, vcpu_vcpuid(hypctx->vcpu), in vtimer_sync_hwstate() 262 vgic_inject_irq(hypctx->hyp, vcpu_vcpuid(hypctx->vcpu), in vtimer_inject_irq_callout_phys() 272 vgic_inject_irq(hypctx->hyp, vcpu_vcpuid(hypctx->vcpu), in vtimer_inject_irq_callout_virt() 292 vgic_inject_irq(hypctx->hyp, vcpu_vcpuid(hypctx->vcpu), in vtimer_schedule_irq() 322 vgic_inject_irq(hypctx->hyp, vcpu_vcpuid(vcpu), timer->irqid, false); in vtimer_remove_irq()
|
H A D | vgic_v3.c | 484 irq->target_vcpu = vcpu_vcpuid(hypctx->vcpu); in vgic_v3_cpuinit() 669 irq = vgic_v3_get_irq(hypctx->hyp, vcpu_vcpuid(hypctx->vcpu), in read_enabler() 696 irq = vgic_v3_get_irq(hypctx->hyp, vcpu_vcpuid(hypctx->vcpu), in write_enabler() 717 irq = vgic_v3_get_irq(hypctx->hyp, vcpu_vcpuid(hypctx->vcpu), in read_pendr() 750 irq = vgic_v3_get_irq(hypctx->hyp, vcpu_vcpuid(hypctx->vcpu), in write_pendr() 795 irq = vgic_v3_get_irq(hypctx->hyp, vcpu_vcpuid(hypctx->vcpu), in read_activer() 826 irq = vgic_v3_get_irq(hypctx->hyp, vcpu_vcpuid(hypctx->vcpu), in write_activer() 870 irq = vgic_v3_get_irq(hypctx->hyp, vcpu_vcpuid(hypctx->vcpu), in read_priorityr() 889 irq = vgic_v3_get_irq(hypctx->hyp, vcpu_vcpuid(hypctx->vcpu), in write_priorityr() 911 irq = vgic_v3_get_irq(hypctx->hyp, vcpu_vcpuid(hypctx->vcpu), in read_config() [all …]
|
/freebsd/sys/amd64/vmm/ |
H A D | vmm_ioport.c | 168 VCPU_CTR4(vcpu_vm(vcpu), vcpu_vcpuid(vcpu), "%s%s 0x%04x: %s", in vm_handle_inout()
|
H A D | x86.c | 78 int vcpu_id = vcpu_vcpuid(vcpu); in x86_emulate_cpuid()
|
H A D | vmm.c | 2021 vcpu_vcpuid(struct vcpu *vcpu) in vcpu_vcpuid() function
|
/freebsd/sys/riscv/vmm/ |
H A D | vmm_riscv.c | 866 vcpu_vcpuid(hypctx->vcpu)); in vmmops_getreg() 894 vcpu_vcpuid(hypctx->vcpu)); in vmmops_setreg() 916 vcpu_vcpuid(hypctx->vcpu)); in vmmops_exception()
|
H A D | vmm.c | 921 vcpu_vcpuid(struct vcpu *vcpu) in vcpu_vcpuid() function
|
/freebsd/sys/arm64/vmm/ |
H A D | vmm_reset.c | 118 vcpuid = vcpu_vcpuid(el2ctx->vcpu); in reset_vm_el2_regs()
|
H A D | vmm_arm64.c | 1270 vcpu_vcpuid(hypctx->vcpu)); in vmmops_getreg() 1290 vcpu_vcpuid(hypctx->vcpu)); in vmmops_setreg() 1309 vcpu_vcpuid(hypctx->vcpu)); in vmmops_exception()
|
H A D | vmm.c | 1197 vcpu_vcpuid(struct vcpu *vcpu) in vcpu_vcpuid() function
|
/freebsd/sys/amd64/include/ |
H A D | vmm.h | 261 int vcpu_vcpuid(struct vcpu *vcpu); 319 return (CPU_ISSET(vcpu_vcpuid(vcpu), info->rptr)); in vcpu_rendezvous_pending()
|
/freebsd/sys/riscv/include/ |
H A D | vmm.h | 144 int vcpu_vcpuid(struct vcpu *vcpu);
|
/freebsd/sys/arm64/include/ |
H A D | vmm.h | 163 int vcpu_vcpuid(struct vcpu *vcpu);
|
/freebsd/sys/dev/vmm/ |
H A D | vmm_dev.c | 101 vm_name(vcpu_vm(vcpu)), vcpu_vcpuid(vcpu), state); in vcpu_unlock_one()
|