]> xenbits.xensource.com Git - people/pauldu/mini-os.git/commit
Clean arch/x86/time.c
authorSamuel Thibault <samuel.thibault@ens-lyon.org>
Sat, 9 Apr 2016 22:46:31 +0000 (00:46 +0200)
committerWei Liu <wei.liu2@citrix.com>
Fri, 15 Apr 2016 10:07:43 +0000 (11:07 +0100)
commita6763f9ef8f7224e1b55cd8a2ac9bdcd867da4ec
treeddfbeea18b78b51ad712c046a5183fac8c4ab1da
parent5c70e2a1b3beae7222580c01e2cbac1685a03903
Clean arch/x86/time.c

block_domain() does not actually use the value returned by gettimeofday.
Fix indent in monotonic_clock() along the way.

Signed-off-by: Samuel Thibault <samuel.thibault@ens-lyon.org>
arch/x86/time.c