Searched refs:gic_id (Results 1 – 3 of 3) sorted by relevance
424 int i, j, cluster_0, gic_id, ret; in bL_switcher_halve_cpus() local491 gic_id = gic_get_cpu_id(i); in bL_switcher_halve_cpus()492 if (gic_id < 0) { in bL_switcher_halve_cpus()497 bL_gic_id[cpu][cluster] = gic_id; in bL_switcher_halve_cpus()499 cpu, cluster, gic_id); in bL_switcher_halve_cpus()
205 p->gic_id, p->base_address, in acpi_table_print_madt_entry()
827 u32 gic_id; member