Searched defs:gicd_clr_ctlr (Results 1 – 2 of 2) sorted by relevance
287 static inline void gicd_clr_ctlr(uintptr_t base, in gicd_clr_ctlr() function
289 static inline void gicd_clr_ctlr(uintptr_t base, in gicd_clr_ctlr() function