/* Bits for ds_ctl15. */