Home
last modified time | relevance | path

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

/devicemodel/hw/platform/acpi/
A Dacpi_parser.c74 uint16_t pcpu_num = 0U; in local_parse_madt() local
95 if (pcpu_num < ACRN_PLATFORM_LAPIC_IDS_MAX) { in local_parse_madt()
96 lapic_ids[pcpu_num] = processor->id; in local_parse_madt()
98 pcpu_num++; in local_parse_madt()
103 if (pcpu_num == 0) { in local_parse_madt()

Completed in 2 milliseconds