/* Our user interface is designed in terms of nanoseconds, while the hardware measures total times in its own unit.  */
static u64 time_to_nsec(u32 value)
/* Our user interface is designed in terms of nanoseconds, while the hardware measures total times in its own unit.  */
static u64 time_to_nsec(u32 value)
{
	return ((u64)value) * 128000ull;
}