ACXRV_ECPU_HALT  1431 dev/ic/acx.c   	CSR_SETB_2(sc, ACXREG_ECPU_CTRL, ACXRV_ECPU_HALT);
ACXRV_ECPU_HALT  1445 dev/ic/acx.c   	if (!(reg & ACXRV_ECPU_HALT)) {