Searched refs:gic_id (Results 1 – 4 of 4) sorted by relevance
49 const struct of_device_id *gic_id; in realview_gic_of_init() local53 &gic_id); in realview_gic_of_init()56 pld1_ctrl = (u32)gic_id->data; in realview_gic_of_init()
421 int i, j, cluster_0, gic_id, ret; in bL_switcher_halve_cpus() local488 gic_id = gic_get_cpu_id(i); in bL_switcher_halve_cpus()489 if (gic_id < 0) { in bL_switcher_halve_cpus()494 bL_gic_id[cpu][cluster] = gic_id; in bL_switcher_halve_cpus()496 cpu, cluster, gic_id); in bL_switcher_halve_cpus()
205 p->gic_id, p->base_address, in acpi_table_print_madt_entry()
674 u32 gic_id; member