Lines Matching defs:gicc

93 	ACPI_MADT_GENERIC_INTERRUPT *gicc;
98 	gicc = (ACPI_MADT_GENERIC_INTERRUPT *)hdrp;
100 	return (gicc->Flags & ACPI_MADT_ENABLED) != 0;
107 	ACPI_MADT_GENERIC_INTERRUPT *gicc = aux;
108 	const uint64_t mpidr = gicc->ArmMpidr;
140 	    gicc->EfficiencyClass);
143 	ci->ci_acpiid = gicc->Uid;
149 	node = acpisrat_get_node(gicc->Uid);
353 	ACPI_MADT_GENERIC_INTERRUPT *gicc;
363 	gicc = (ACPI_MADT_GENERIC_INTERRUPT *)hdrp;
364 	if ((gicc->Flags & ACPI_MADT_ENABLED) == 0)
367 	const bool cpu_primary_p = cpu_info_store[0].ci_cpuid == gicc->ArmMpidr;
368 	const bool intr_ppi_p = gicc->PerformanceInterrupt < 32;
369 	const int type = (gicc->Flags & ACPI_MADT_PERFORMANCE_IRQ_MODE) ?
375 	ci = cpu_acpi_find_processor(gicc->Uid);
378 		    gicc->Uid);
388 	ih = intr_establish_xname(gicc->PerformanceInterrupt, IPL_HIGH,
411 	    gicc->PerformanceInterrupt);