Hi Thomas & Miguel,

These are two tiny fixes/cleanup for the kernel::time, the first one is
adding missing links to C header files, and the second one is switching
to use wrapping_sub() for `Ktime::sub()`. The series is based on today's
tip/timers/core.

Thanks!

Boqun Feng (2):
  rust: time: doc: Add missing C header links
  rust: time: Use wrapping_sub() for Ktime::sub()

 rust/kernel/time.rs | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

-- 
2.44.0