DSB processor wait code