VMM_CPU_MODE_PROT32
return (VMM_CPU_MODE_PROT32);
case VMM_CPU_MODE_PROT32: return "32 bit protected";
case VMM_CPU_MODE_PROT32: return "PROT32";