Searched refs:lapic_id (Results 1 – 7 of 7) sorted by relevance
192 uint32_t lapic_id; in get_cur_lapic_id() local194 lapic_id = (uint32_t) msr_read(MSR_IA32_EXT_XAPICID); in get_cur_lapic_id()196 return lapic_id; in get_cur_lapic_id()206 icr.value_32.hi_32 = per_cpu(lapic_id, dest_pcpu_id); in send_startup_ipi()265 icr.value_32.hi_32 = per_cpu(lapic_id, pcpu_id); in send_single_ipi()290 icr.value_32.hi_32 = per_cpu(lapic_id, pcpu_id); in send_single_init()
57 static uint16_t get_pcpu_id_from_lapic_id(uint32_t lapic_id);74 per_cpu(lapic_id, i) = lapic_id_array[i]; in init_percpu_lapic_id()341 static uint16_t get_pcpu_id_from_lapic_id(uint32_t lapic_id) in get_pcpu_id_from_lapic_id() argument347 if (per_cpu(lapic_id, i) == lapic_id) { in get_pcpu_id_from_lapic_id()
746 uint32_t lapic_id = get_cur_lapic_id(); in dmar_fault_msi_write() local752 addr_low = 0xFEE00000U | ((uint32_t)(lapic_id) << 12U); in dmar_fault_msi_write()
54 uint32_t lapic_id; member
614 vcpu->arch.pid.control.bits.ndst = per_cpu(lapic_id, pcpu_id); in create_vcpu()
2075 papic_id = per_cpu(lapic_id, pcpuid_from_vcpu(target_vcpu)); in vlapic_x2apic_pt_icr_access()2206 vlapic->vapic_id = per_cpu(lapic_id, pcpu_id); in vlapic_create()
858 = per_cpu(lapic_id, i); in profiling_vm_list_info()
Completed in 21 milliseconds