Searched refs:apicid (Results 1 – 2 of 2) sorted by relevance
240 uint32_t apicid = vlapic_get_apicid(vcpu_vlapic(vcpu)); in get_cache_id() local251 *l2_id = apicid >> l2_shift; in get_cache_id()252 *l3_id = apicid >> l3_shift; in get_cache_id()
730 uint32_t apicid = vlapic_get_apicid(vcpu_vlapic(vcpu)); in guest_cpuid_01h() local736 *ebx |= (apicid << APIC_ID_SHIFT); in guest_cpuid_01h()
Completed in 5 milliseconds