Searched refs:GICD_ISACTIVERnE (Results 1 – 2 of 2) sorted by relevance
38 #define GICD_ISACTIVERnE 0x1A00 macro
307 return GICD_ISACTIVERnE; in convert_offset_index()