Searched refs:VCPU_NOT_ALLOCATED (Results 1 – 3 of 3) sorted by relevance
40 #define VCPU_NOT_ALLOCATED ((u8)-1) macro
335 dist->irq_spi_cpu[spi] = VCPU_NOT_ALLOCATED; in handle_mmio_route_reg()
1552 if (cpuid == VCPU_NOT_ALLOCATED) { in vgic_update_irq_pending()