V3D_SMS_REE_CS
V3D_SMS_WRITE(V3D_SMS_REE_CS, V3D_SET_FIELD(0x4, V3D_SMS_STATE));
if (wait_for(!(V3D_GET_FIELD(V3D_SMS_READ(V3D_SMS_REE_CS),
!(V3D_GET_FIELD(V3D_SMS_READ(V3D_SMS_REE_CS),