[PATCH] x86-64: Remove unused vxtime.hz field

Signed-off-by: Andi Kleen <ak@suse.de>
Signed-off-by: Linus Torvalds <torvalds@osdl.org>
2 files changed