ARC_RA_INB_DOORBELL_READ_OK
arc_write(sc, ARC_RA_INB_DOORBELL, ARC_RA_INB_DOORBELL_READ_OK);
ARC_RA_INB_DOORBELL_READ_OK);