Lines Matching defs:cpu
97 iommu_map_msi_intr(device_t src, u_int cpu, u_int vector, u_int cookie,
114 *addr = MSI_INTEL_ADDR_BASE | ((cpu & 0xff) << 12);
116 *addr |= ((uint64_t)cpu & 0xffffff00) << 32;
118 KASSERT(cpu <= 0xff, ("cpu id too big %d", cpu));
124 low = (DMAR_X2APIC(unit) ? DMAR_IRTE1_DST_x2APIC(cpu) :
125 DMAR_IRTE1_DST_xAPIC(cpu)) | DMAR_IRTE1_V(vector) |
154 iommu_map_ioapic_intr(u_int ioapic_id, u_int cpu, u_int vector, bool edge,
193 low |= (DMAR_X2APIC(unit) ? DMAR_IRTE1_DST_x2APIC(cpu) :
194 DMAR_IRTE1_DST_xAPIC(cpu)) |