ASIC_CFG_MUTEX
u8 user = (u8)read_csr(dd, ASIC_CFG_MUTEX);
write_csr(dd, ASIC_CFG_MUTEX, mask);
user = (u8)read_csr(dd, ASIC_CFG_MUTEX);
write_csr(dd, ASIC_CFG_MUTEX, 0);
u8 user = (u8)read_csr(dd, ASIC_CFG_MUTEX);
write_csr(dd, ASIC_CFG_MUTEX, 0);