EXC_HFAC
bcopy(&hypertrapcode, (void *)(EXC_HFAC + trap_offset), trapsize);
{ EXC_HFAC, "hypervisor facility unavailable" },
case EXC_HFAC: