Home
last modified time | relevance | path

Searched refs:INVALID_VCPU_ID (Results 1 – 3 of 3) sorted by relevance

/xen/xen/include/asm-arm/
A Dconfig.h49 #define INVALID_VCPU_ID MAX_VIRT_CPUS macro
/xen/xen/arch/arm/
A Dp2m.c152 if ( *last_vcpu_ran != INVALID_VCPU_ID && *last_vcpu_ran != n->vcpu_id ) in p2m_restore_state()
1546 BUILD_BUG_ON((1 << (sizeof(p2m->last_vcpu_ran[0])* 8)) < INVALID_VCPU_ID); in p2m_init()
1549 p2m->last_vcpu_ran[cpu] = INVALID_VCPU_ID; in p2m_init()
A Dvgic.c74 p->lpi_vcpu_id = INVALID_VCPU_ID; in vgic_init_pending_irq()

Completed in 7 milliseconds