Searched refs:GICD_SPENDSGIR (Results 1 – 2 of 2) sorted by relevance
75 #define GICD_SPENDSGIR(n) (GICD_OFFSET + 0xf20 + (n) * 4) /* SGI Set-Pending Register… macro
56 #define GICD_SPENDSGIR 0x0F20 macro