ARC_HALT_REQ_OFFSET
WREG32(reg_base + ARC_HALT_REQ_OFFSET, reg_val);
WREG32(reg_base + ARC_HALT_REQ_OFFSET, val);