Lines Matching refs:util_bit
80 uint32_t bit = (uint32_t)util_bit(virq - range_base); in vgic_update_irqbits_flag()
157 bits |= (uint32_t)util_bit(i); in vgic_read_gicd_irqbits()
277 bits |= util_bit((i * 2U) + 1U); in vgic_read_config()
467 vic, i, (val & util_bit(i % 32U)) != 0U); in gicd_vdevice_write()
485 bits &= ~((index_t)util_bit(i)); in gicd_vdevice_write()
507 bits &= ~((index_t)util_bit(i)); in gicd_vdevice_write()
529 bits &= ~((index_t)util_bit(i)); in gicd_vdevice_write()
551 bits &= ~((index_t)util_bit(i)); in gicd_vdevice_write()
573 bits &= ~((index_t)util_bit(i)); in gicd_vdevice_write()
595 bits &= ~((index_t)util_bit(i)); in gicd_vdevice_write()
630 (val & util_bit(((i % 16U) * 2U) + 1U)) != 0U); in gicd_vdevice_write()
913 (val & util_bit((i * 2U) + 1U)) != in gicr_vdevice_icfgr_write()
941 bits &= ~((index_t)util_bit(i)); in gicr_vdevice_activer0_write()
957 bits &= ~((index_t)util_bit(i)); in gicr_vdevice_pendr0_write()
973 bits &= ~((index_t)util_bit(i)); in gicr_vdevice_enabler0_write()
987 (val & util_bit(i)) != 0U); in gicr_vdevice_igroupr0_write()