171    dif_pattgen_irq_t irq,
 
  174    if (pattgen == NULL || is_pending == NULL) {
 
  179    if (!pattgen_get_irq_bit_index(irq, &index)) {
 
  183    uint32_t intr_state_reg = mmio_region_read32(
 
  185    (ptrdiff_t)PATTGEN_INTR_STATE_REG_OFFSET);
 
  188    *is_pending = bitfield_bit32_read(intr_state_reg, index);
 
 
  265    dif_pattgen_irq_t irq,
 
  268    if (pattgen == NULL || state == NULL) {
 
  273    if (!pattgen_get_irq_bit_index(irq, &index)) {
 
  277    uint32_t intr_enable_reg = mmio_region_read32(
 
  279    (ptrdiff_t)PATTGEN_INTR_ENABLE_REG_OFFSET);
 
  282    bool is_enabled = bitfield_bit32_read(intr_enable_reg, index);
 
  283    *state = is_enabled ?
 
 
  292    dif_pattgen_irq_t irq,
 
  295    if (pattgen == NULL) {
 
  300    if (!pattgen_get_irq_bit_index(irq, &index)) {
 
  304    uint32_t intr_enable_reg = mmio_region_read32(
 
  306    (ptrdiff_t)PATTGEN_INTR_ENABLE_REG_OFFSET);
 
  310    intr_enable_reg = bitfield_bit32_write(intr_enable_reg, index, enable_bit);
 
  313    (ptrdiff_t)PATTGEN_INTR_ENABLE_REG_OFFSET,