NIX_GINT_INT_W1S
AF_BAR2_ALIASX(0, NIX_GINT_INT_W1S), ALTAF_RDY);
rvu_write64(rvu, BLKADDR_NIX0, AF_BAR2_ALIASX(0, NIX_GINT_INT_W1S), op);