tree 300bd595501f9de6d5252b4f18989333979cf95a
parent 78022a95d1b27e3225ab48d97d50cb90cb2fe47d
author Barret Rhoden <brho@cs.berkeley.edu> 1513966683 -0500
committer Barret Rhoden <brho@cs.berkeley.edu> 1513968833 -0500

vmm: Add a vmcall for tracing the TF (XCC)

This vmcall will print the current context, minus r11.  It was useful in
debugging a brutal bug.

Reinstall your kernel headers.

Signed-off-by: Barret Rhoden <brho@cs.berkeley.edu>