Searched refs:target_vcpuid (Results 1 – 1 of 1) sorted by relevance
| /freebsd/sys/arm64/vmm/io/ |
| H A D | vgic_v3.c | 1782 int cpus, cpu_off, target_vcpuid, vcpuid; in vgic_v3_icc_sgi1r_write() local
1805 target_vcpuid = mpidr_to_vcpu(hyp, in vgic_v3_icc_sgi1r_write()
1807 if (target_vcpuid >= 0 && in vgic_v3_icc_sgi1r_write()
1808 CPU_ISSET(target_vcpuid, &active_cpus)) { in vgic_v3_icc_sgi1r_write()
1809 INJECT_IRQ(hyp, target_vcpuid, irqid, in vgic_v3_icc_sgi1r_write()
1818 for (target_vcpuid = 0; target_vcpuid < vm_get_maxcpus(vm); in vgic_v3_icc_sgi1r_write()
1819 target_vcpuid++) { in vgic_v3_icc_sgi1r_write()
1820 if (CPU_ISSET(target_vcpuid, &active_cpus) && in vgic_v3_icc_sgi1r_write()
1821 target_vcpuid != vcpuid) { in vgic_v3_icc_sgi1r_write()
1822 INJECT_IRQ(hyp, target_vcpuid, irqid, true); in vgic_v3_icc_sgi1r_write()
|