REAL_TIME_TO_NS
*device_time = ns_to_ktime(REAL_TIME_TO_NS(device >> 32, device & U32_MAX));
return real_time ? REAL_TIME_TO_NS(timer_h1, timer_l) :
u64 time = REAL_TIME_TO_NS(timestamp >> 32, timestamp & 0xFFFFFFFF);