Use fprintf() for printing user TFs
authorBarret Rhoden <brho@cs.berkeley.edu>
Fri, 13 Jan 2017 21:15:54 +0000 (16:15 -0500)
committerBarret Rhoden <brho@cs.berkeley.edu>
Wed, 18 Jan 2017 15:00:02 +0000 (10:00 -0500)
commit9cacfafb6850a144ae33523993e3870fc8b6220d
tree7ffc63413d014458c20e2a066a61a9e60806cf8d
parentd2dc8cffaa638d37f9cb368621cac880859bb41d
Use fprintf() for printing user TFs

This allows us to consolidate similar TF-printing code, and in the case of
the VM, see more info.

Signed-off-by: Barret Rhoden <brho@cs.berkeley.edu>
user/parlib/include/parlib/vcore.h
user/parlib/x86/vcore.c
user/vmm/vmx.c