vm_arch_has_protected_memory
vm_arch_has_protected_memory(vm));
#ifndef vm_arch_has_protected_memory
if (vm_arch_has_protected_memory(vm))
vm_arch_has_protected_memory(vm));
if (!vm_arch_has_protected_memory(vm))