Searched refs:bits_per_field (Results 1 – 1 of 1) sorted by relevance
154 uint32_t reg_bits, uint32_t bits_per_field, in gicv3_access_reg() argument162 GUEST_ASSERT(bits_per_field <= reg_bits); in gicv3_access_reg()163 GUEST_ASSERT(!write || *val < (1U << bits_per_field)); in gicv3_access_reg()170 fields_per_reg = reg_bits / bits_per_field; in gicv3_access_reg()172 shift = index * bits_per_field; in gicv3_access_reg()173 mask = ((1U << bits_per_field) - 1) << shift; in gicv3_access_reg()186 uint32_t reg_bits, uint32_t bits_per_field, uint32_t val) in gicv3_write_reg() argument189 bits_per_field, true, &val); in gicv3_write_reg()193 uint32_t reg_bits, uint32_t bits_per_field) in gicv3_read_reg() argument198 bits_per_field, false, &val); in gicv3_read_reg()