x86: Handle when the PLATFORM_INFO TSC freq = 0
authorBarret Rhoden <brho@cs.berkeley.edu>
Wed, 13 Jun 2018 23:55:25 +0000 (19:55 -0400)
committerBarret Rhoden <brho@cs.berkeley.edu>
Wed, 13 Jun 2018 23:55:25 +0000 (19:55 -0400)
commitcffe4e593251391a5cd422c74520fdf955164fab
tree1f1cfff50701f37aa27442a3ccde04e443766501
parent810a9073878fdadac7918ef013d961f67bcf6682
x86: Handle when the PLATFORM_INFO TSC freq = 0

I noticed this with QEMU 2.11.1 on an x86_64 Gentoo skylake machine.

Signed-off-by: Barret Rhoden <brho@cs.berkeley.edu>
kern/arch/x86/time.c