Hi there, We are annotating settimeofday(), gettimeofday() and we will make tv Nonnull if compilation warnings will result. But after checking https://elixir.bootlin.com/linux/latest/source/kernel/time/time.c#L199 nd https://elixir.bootlin.com/linux/latest/source/kernel/time/time.c#L224, we think tv is okay to be nullable. So we make the fix to make it more clear. Best, Zijun Zhao
