* TSC's upper 32 bits can't be written in earlier CPUs (before
* Prescott), there is no way to resync one AP against BP.
*/
-bool_t disable_tsc_sync;
+bool disable_tsc_sync;
static atomic_t tsc_count;
static uint64_t tsc_value;
/* Physically added CPUs do not have synchronised TSC. */
if ( boot_cpu_has(X86_FEATURE_TSC_RELIABLE) )
{
- static bool_t once_only;
+ static bool once_only;
+
if ( !test_and_set_bool(once_only) )
printk(XENLOG_WARNING
" ** New physical CPU %u may have skewed TSC and hence "
cpuidle_disable_deep_cstate();
/* synchronize_tsc_slave() must do nothing */
- disable_tsc_sync = 1;
+ disable_tsc_sync = true;
}
static void __init reset_percpu_time(void *unused)