Searched refs:gicc (Results 1 - 2 of 2) sorted by relevance
| /freebsd-current/sys/dev/acpica/ |
| H A D | acpi_pxm.c | 264 ACPI_SRAT_GICC_AFFINITY *gicc; local
312 gicc = (ACPI_SRAT_GICC_AFFINITY *)entry;
315 gicc->AcpiProcessorUid, gicc->ProximityDomain,
316 (gicc->Flags & ACPI_SRAT_GICC_ENABLED) ?
318 if (!(gicc->Flags & ACPI_SRAT_GICC_ENABLED))
320 KASSERT(cpu_find(gicc->AcpiProcessorUid) == NULL,
321 ("Duplicate CPU UID %u", gicc->AcpiProcessorUid));
322 cpup = cpu_add(gicc->AcpiProcessorUid, gicc
[all...] |
| /freebsd-current/usr.sbin/acpi/acpidump/ |
| H A D | acpi.c | 483 ACPI_MADT_GENERIC_INTERRUPT *gicc; local
558 gicc = (ACPI_MADT_GENERIC_INTERRUPT *)mp;
559 acpi_print_cpu_uid(gicc->Uid, NULL);
560 printf("\tCPU INTERFACE=%x\n", gicc->CpuInterfaceNumber);
561 acpi_print_gicc_flags(gicc->Flags);
562 printf("\tParking Protocol Version=%x\n", gicc->ParkingVersion);
563 printf("\tPERF INTR=%d\n", gicc->PerformanceInterrupt);
565 (uintmax_t)gicc->ParkedAddress);
566 printf("\tBase ADDR=%016jx\n", (uintmax_t)gicc->BaseAddress);
567 printf("\tGICV=%016jx\n", (uintmax_t)gicc
[all...] |
Completed in 112 milliseconds