diff --git a/sys/dev/xen/timer/timer.c b/sys/dev/xen/timer/timer.c index 7083e46..4cb49b0 100644 --- a/sys/dev/xen/timer/timer.c +++ b/sys/dev/xen/timer/timer.c @@ -418,8 +418,8 @@ xentimer_et_start(struct eventtimer *et, } while (error == -ETIME); if (error) - panic("%s: Error %d setting singleshot timer to %"PRIu64"\n", - device_get_nameunit(sc->dev), error, next_time); + panic("%s: Error %d setting singleshot timer to %"PRIu64" for vCPU#%d\n", + device_get_nameunit(sc->dev), error, next_time, cpu); pcpu->timer = next_time; return (error);