Lines Matching defs:gicc

483 	ACPI_MADT_GENERIC_INTERRUPT *gicc;
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->GicvBaseAddress);
568 		printf("\tGICH=%016jx\n", (uintmax_t)gicc->GichBaseAddress);
569 		printf("\tVGIC INTR=%d\n", gicc->VgicInterrupt);
571 		    (uintmax_t)gicc->GicrBaseAddress);
572 		printf("\tMPIDR=%jx\n", (uintmax_t)gicc->ArmMpidr);
573 		printf("\tEfficiency Class=%d\n", (u_int)gicc->EfficiencyClass);
574 		printf("\tSPE INTR=%d\n", gicc->SpeInterrupt);