Searched refs:gic_bit (Results 1 – 1 of 1) sorted by relevance
332 uint32_t gic_bit, pol; in __cirq_fast_clone() local345 gic_bit = (0x1U << ((gic_id - 32U) % 32U)); in __cirq_fast_clone()346 pol = mt_irq_get_pol(gic_id) & gic_bit; in __cirq_fast_clone()
