static inline void __normalize_time(time_t *sec, s64 *nsec)
{
while (*nsec >= NSEC_PER_SEC) {
asm("" : "+r"(*nsec));
(*nsec) -= NSEC_PER_SEC;
(*sec)++;
}
while (*nsec < 0) {
(*nsec) += NSEC_PER_SEC;
(*sec)--;