CR0_RSD_MAX
} else if (rsd > CR0_RSD_MAX) {
rsd = CR0_RSD_MAX;
rs->freq, rsd_nsecs, CR0_RSD_MAX * 1000000000U / rs->freq);