Lines Matching defs:gicc
1063 ACPI_MADT_GENERIC_INTERRUPT *gicc;
1139 gicc = (ACPI_MADT_GENERIC_INTERRUPT *)mp;
1140 acpi_print_cpu_uid(gicc->Uid, NULL);
1141 printf("\tCPU INTERFACE=%x\n", gicc->CpuInterfaceNumber);
1142 acpi_print_gicc_flags(gicc->Flags);
1143 printf("\tParking Protocol Version=%x\n", gicc->ParkingVersion);
1144 printf("\tPERF INTR=%d\n", gicc->PerformanceInterrupt);
1146 (uintmax_t)gicc->ParkedAddress);
1147 printf("\tBase ADDR=%016jx\n", (uintmax_t)gicc->BaseAddress);
1148 printf("\tGICV=%016jx\n", (uintmax_t)gicc->GicvBaseAddress);
1149 printf("\tGICH=%016jx\n", (uintmax_t)gicc->GichBaseAddress);
1150 printf("\tVGIC INTR=%d\n", gicc->VgicInterrupt);
1152 (uintmax_t)gicc->GicrBaseAddress);
1153 printf("\tMPIDR=%jx\n", (uintmax_t)gicc->ArmMpidr);
1154 printf("\tEfficiency Class=%d\n", (u_int)gicc->EfficiencyClass);
3166 [ACPI_SRAT_TYPE_GICC_AFFINITY] = "GICC",
3175 ACPI_SRAT_GICC_AFFINITY *gicc;
3202 gicc = (ACPI_SRAT_GICC_AFFINITY *)srat;
3203 acpi_print_srat_cpu(srat->Type, gicc->AcpiProcessorUid,
3204 gicc->ProximityDomain,
3205 gicc->Flags, gicc->ClockDomain, 0 /* dummy */);