Re: [PATCH 11/11] clocksource: new RISC-V SBI timer driver

From: Christoph Hellwig
Date: Fri Aug 03 2018 - 08:26:20 EST


>> +/*
>> + * It is guarnteed that all the timers across all the harts are synchronized
>
> /s/guarnteed/guaranteed

Fixed.