/* Bits for ds_ctl12. */