Searched refs:assigned_cpu (Results 1 – 1 of 1) sorted by relevance
222 uint32_t assigned_cpu; in apic_interrupt_dump() local255 assigned_cpu = irqp->airq_temp_cpu; in apic_interrupt_dump()256 if (assigned_cpu == IRQ_UNINIT || assigned_cpu == IRQ_UNBOUND) in apic_interrupt_dump()257 assigned_cpu = irqp->airq_cpu; in apic_interrupt_dump()264 (void) mdb_snprintf(cpu_assigned, 4, "%d", assigned_cpu); in apic_interrupt_dump()