Searched refs:gic_bmp_replace_bit (Results 1 – 1 of 1) sorted by relevance
71 static inline void gic_bmp_replace_bit(int nr, uint32_t *addr, int val) in gic_bmp_replace_bit() function291 gic_bmp_replace_bit(irq, s->BMP, value); \