Searched refs:INVALID_VCPU_ID (Results 1 – 3 of 3) sorted by relevance
49 #define INVALID_VCPU_ID MAX_VIRT_CPUS macro
135 if ( *last_vcpu_ran != INVALID_VCPU_ID && *last_vcpu_ran != n->vcpu_id ) in p2m_restore_state()1278 BUILD_BUG_ON((1 << (sizeof(p2m->last_vcpu_ran[0])* 8)) < INVALID_VCPU_ID); in p2m_init()1281 p2m->last_vcpu_ran[cpu] = INVALID_VCPU_ID; in p2m_init()
73 p->lpi_vcpu_id = INVALID_VCPU_ID; in vgic_init_pending_irq()
Completed in 7 milliseconds