On 22.01.2026 11:23, Roger Pau Monné wrote:
> On Mon, Nov 17, 2025 at 03:40:08PM +0100, Jan Beulich wrote:
>> @@ -162,10 +161,15 @@ static int reprogram_hpet_evt_channel(
>>
>> ch->next_event = expire;
>>
>> - delta = min_t(int64_t, delta, MAX_DELTA_NS);
>> delta = max_t(int64_t, delta, MIN_DELTA_NS);
>> delta = ns2ticks(delta, ch->shift, ch->mult);
>>
>> + if ( delta > UINT32_MAX )
>> + {
>> + hpet_write32(hpet_read32(HPET_COUNTER), HPET_Tn_CMP(ch->idx));
>
> Should Xen disable interrupts around this call to avoid unexpected
> latency between the counter read and the comparator write?
Such latency could then still arise, due NMI or SMI. What's your underlying
concern here?
Jan
