Lines Matching defs:bits
42 count_t range_base, count_t range_size, uint32_t *bits) in vgic_update_irqbits_flag()
122 uint32_t bits = 0U; in vgic_read_gicd_irqbits() local
172 uint32_t bits = 0U; in vgic_read_irqbits() local
229 register_t bits = 0U; in vgic_read_priority() local
259 register_t bits = 0U; in vgic_read_config() local
478 uint32_t bits = (uint32_t)val; in gicd_vdevice_write() local
500 uint32_t bits = (uint32_t)val; in gicd_vdevice_write() local
522 uint32_t bits = (uint32_t)val; in gicd_vdevice_write() local
544 uint32_t bits = (uint32_t)val; in gicd_vdevice_write() local
566 uint32_t bits = (uint32_t)val; in gicd_vdevice_write() local
588 uint32_t bits = (uint32_t)val; in gicd_vdevice_write() local
938 uint32_t bits = (uint32_t)val; in gicr_vdevice_activer0_write() local
954 uint32_t bits = (uint32_t)val; in gicr_vdevice_pendr0_write() local
970 uint32_t bits = (uint32_t)val; in gicr_vdevice_enabler0_write() local