3712 /* protects concurrent DIDT register access */