x86: Get the boot time from CMOS
authorBarret Rhoden <brho@cs.berkeley.edu>
Wed, 10 May 2017 19:46:57 +0000 (15:46 -0400)
committerBarret Rhoden <brho@cs.berkeley.edu>
Fri, 12 May 2017 20:38:12 +0000 (16:38 -0400)
commit54cd59a4b4d87db5544a870bc905168f6c9fc420
tree8cf01ae8737a04ac86959dfa33ab41bb10370a26
parent517c4254fb0499275e537a87ccc61be463128823
x86: Get the boot time from CMOS

We read this once at boot.  All future time checks should be based on the
walltime_ns_last.  One of these days, we'll update that field when we get
info from e.g. NTP.

Signed-off-by: Barret Rhoden <brho@cs.berkeley.edu>
kern/arch/riscv/pmap.c
kern/arch/x86/kclock.c
kern/arch/x86/pmap.c
kern/arch/x86/pmap64.c
kern/include/kclock.h [deleted file]
kern/src/init.c
kern/src/pmap.c