Searched refs:GICD_BASE_64K (Results 1 – 2 of 2) sorted by relevance
43 *gicd_base = GICD_BASE_64K; in get_gic_offset()
162 #define GICD_BASE_64K 0x01410000 macro