Searched refs:bits_per_field (Results 1 – 1 of 1) sorted by relevance
169 uint32_t reg_bits, uint32_t bits_per_field, in gicv3_access_reg() argument177 GUEST_ASSERT(bits_per_field <= reg_bits); in gicv3_access_reg()178 GUEST_ASSERT(!write || *val < (1U << bits_per_field)); in gicv3_access_reg()185 fields_per_reg = reg_bits / bits_per_field; in gicv3_access_reg()187 shift = index * bits_per_field; in gicv3_access_reg()188 mask = ((1U << bits_per_field) - 1) << shift; in gicv3_access_reg()201 uint32_t reg_bits, uint32_t bits_per_field, uint32_t val) in gicv3_write_reg() argument204 bits_per_field, true, &val); in gicv3_write_reg()208 uint32_t reg_bits, uint32_t bits_per_field) in gicv3_read_reg() argument213 bits_per_field, false, &val); in gicv3_read_reg()
Completed in 3 milliseconds