Searched refs:gic_id_11mpcore (Results 1 – 1 of 1) sorted by relevance
47 static const uint8_t gic_id_11mpcore[] = { variable1144 res = gic_id_11mpcore[(offset - 0xfd0) >> 2]; in gic_dist_readb()