Hvx.h

System calls so we can read from the console's HV.