Searched refs:GICC_BASE_64K (Results 1 – 2 of 2) sorted by relevance
42 *gicc_base = GICC_BASE_64K; in get_gic_offset()
163 #define GICC_BASE_64K 0x01420000 macro