Searched defs:gic_id (Results 1 – 2 of 2) sorted by relevance
424 int i, j, cluster_0, gic_id, ret; in bL_switcher_halve_cpus() local
827 u32 gic_id; member