/* hypervisor_machdep.c */