On Wed, Apr 10, 2019 at 09:01:52AM +0200, Peter Zijlstra wrote: > On Tue, Apr 09, 2019 at 06:19:57PM -0700, Ricardo Neri wrote: > > On Tue, Apr 09, 2019 at 01:28:17PM +0200, Peter Zijlstra wrote: > > > > @@ -147,6 +161,14 @@ static void set_periodic(struct hpet_hld_data > > > > *hdata) > > > > */ > > > > static bool is_hpet_wdt_interrupt(struct hpet_hld_data *hdata) > > > > { > > > > + if (smp_processor_id() == hdata->handling_cpu) { > > > > + unsigned long tsc_curr; > > > > > > TSC is u64 > > > > In x86_64, isn't u64 an unsigned long? Do you mean to consider the > > 32-bit case? > > Unless none of this code is available for x86_32, you pretty much have > to consider 32bit. > > But even then, using u64 for 64bit values is the right thing.
OK, I'll implement this change. Thanks and BR, Ricardo