Home
last modified time | relevance | path

Searched refs:ACRN_PLATFORM_LAPIC_IDS_MAX (Results 1 – 5 of 5) sorted by relevance

/devicemodel/hw/platform/acpi/
A Dacpi_parser.c47 static int lapic_ids[ACRN_PLATFORM_LAPIC_IDS_MAX] = {0xff};
52 if (pcpu_id < 0 || pcpu_id >= ACRN_PLATFORM_LAPIC_IDS_MAX || in lapicid_from_pcpuid()
63 for (j = 0; j < ACRN_PLATFORM_LAPIC_IDS_MAX; j++) { in lapic_to_pcpu()
68 return ACRN_PLATFORM_LAPIC_IDS_MAX - 1; in lapic_to_pcpu()
95 if (pcpu_num < ACRN_PLATFORM_LAPIC_IDS_MAX) { in local_parse_madt()
A Dacpi.c326 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()
/devicemodel/hw/platform/vssram/
A Dvssram.c45 #define MAX_VSSRAM_BUFFER_NUM (ACRN_PLATFORM_LAPIC_IDS_MAX << 1)
76 static uint32_t guest_lapicid_tbl[ACRN_PLATFORM_LAPIC_IDS_MAX];
578 for (i = 0; i < ACRN_PLATFORM_LAPIC_IDS_MAX; i++) { in vssram_add_buffer()
609 for (i = 0; i < ACRN_PLATFORM_LAPIC_IDS_MAX; i++) { in vssram_add_buffer()
612 if ((pcpuid < 0) || (pcpuid >= ACRN_PLATFORM_LAPIC_IDS_MAX)) { in vssram_add_buffer()
758 for (pcpuid = 0; pcpuid < ACRN_PLATFORM_LAPIC_IDS_MAX; pcpuid++) { in vssram_request_buffer()
762 assert((pcpuid > 0) && (pcpuid < ACRN_PLATFORM_LAPIC_IDS_MAX)); in vssram_request_buffer()
/devicemodel/core/
A Dmptbl.c139 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()
/devicemodel/include/public/
A Dhsm_ioctl_defs.h231 #define ACRN_PLATFORM_LAPIC_IDS_MAX 64 macro

Completed in 13 milliseconds