Searched refs:pcpu_id (Results 1 – 6 of 6) sorted by relevance
| /devicemodel/hw/platform/acpi/ |
| A D | acpi_parser.c | 50 int lapicid_from_pcpuid(int pcpu_id) in lapicid_from_pcpuid() argument
52 if (pcpu_id < 0 || pcpu_id >= ACRN_PLATFORM_LAPIC_IDS_MAX || in lapicid_from_pcpuid()
53 lapic_ids[pcpu_id] == 0xff) { in lapicid_from_pcpuid()
56 return (int)lapic_ids[pcpu_id]; in lapicid_from_pcpuid()
|
| A D | acpi.c | 318 int pcpu_id = pcpuid_from_vcpuid(guest_pcpu_bitmask, i); in basl_fwrite_madt() local
321 if (pcpu_id < 0) { in basl_fwrite_madt()
326 assert(pcpu_id < ACRN_PLATFORM_LAPIC_IDS_MAX); in basl_fwrite_madt()
327 if (pcpu_id >= ACRN_PLATFORM_LAPIC_IDS_MAX) { in basl_fwrite_madt()
328 …pr_err("%s,Err: pcpu id %u should be less than ACRN_PLATFORM_LAPIC_IDS_MAX.\n", __func__, pcpu_id); in basl_fwrite_madt()
332 lapic_id = lapicid_from_pcpuid(pcpu_id); in basl_fwrite_madt()
334 pr_err("Failed to retrieve the local APIC ID for pCPU %u\n", pcpu_id); in basl_fwrite_madt()
343 pr_info("%s, vcpu_id=0x%x, pcpu_id=0x%x, lapic_id=0x%x\n", __func__, i, pcpu_id, lapic_id); in basl_fwrite_madt()
|
| /devicemodel/core/ |
| A D | mptbl.c | 131 int pcpu_id = pcpuid_from_vcpuid(guest_pcpu_bitmask, i); in mpt_build_proc_entries() local
134 if (pcpu_id < 0) { in mpt_build_proc_entries()
139 assert(pcpu_id < ACRN_PLATFORM_LAPIC_IDS_MAX); in mpt_build_proc_entries()
140 if (pcpu_id >= ACRN_PLATFORM_LAPIC_IDS_MAX) { in mpt_build_proc_entries()
141 …pr_err("%s,Err: pcpu id %u should be less than ACRN_PLATFORM_LAPIC_IDS_MAX.\n", __func__, pcpu_id); in mpt_build_proc_entries()
145 lapic_id = lapicid_from_pcpuid(pcpu_id); in mpt_build_proc_entries()
147 pr_err("Failed to retrieve the local APIC ID for pCPU %u\n", pcpu_id); in mpt_build_proc_entries()
|
| A D | vmmapi.c | 85 static void add_one_pcpu(int pcpu_id) in add_one_pcpu() argument
87 if (cpu_affinity_bitmap & (1UL << pcpu_id)) { in add_one_pcpu()
88 pr_err("%s: pcpu_id %d has been allocated to this VM.\n", __func__, pcpu_id); in add_one_pcpu()
92 cpu_affinity_bitmap |= (1UL << pcpu_id); in add_one_pcpu()
|
| /devicemodel/include/ |
| A D | acpi.h | 122 int lapicid_from_pcpuid(int pcpu_id);
|
| /devicemodel/hw/platform/vssram/ |
| A D | vssram.c | 474 int pcpu_id = 0, vcpu_id = 0; in init_guest_lapicid_tbl() local
478 pcpu_id = pcpuid_from_vcpuid(guest_pcpu_bitmask, vcpu_id); in init_guest_lapicid_tbl()
479 if (pcpu_id < 0) in init_guest_lapicid_tbl()
482 guest_lapicid_tbl[vcpu_id] = lapicid_from_pcpuid(pcpu_id); in init_guest_lapicid_tbl()
|
Completed in 12 milliseconds