Searched refs:last_vcpu_ran (Results 1 – 2 of 2) sorted by relevance
121 uint8_t *last_vcpu_ran; in p2m_restore_state() local137 last_vcpu_ran = &p2m->last_vcpu_ran[smp_processor_id()]; in p2m_restore_state()152 if ( *last_vcpu_ran != INVALID_VCPU_ID && *last_vcpu_ran != n->vcpu_id ) in p2m_restore_state()155 *last_vcpu_ran = n->vcpu_id; in p2m_restore_state()1545 BUILD_BUG_ON((1 << (sizeof(p2m->last_vcpu_ran[0]) * 8)) < MAX_VIRT_CPUS); in p2m_init()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()
109 uint8_t last_vcpu_ran[NR_CPUS]; member
Completed in 6 milliseconds