/******************************************************************************
* kernel.c
- *
+ *
* Copyright (c) 2002-2005 K A Fraser
*/
return -EFAULT;
return 0;
}
-
+
case XENVER_platform_parameters:
{
const struct vcpu *curr = current;
}
return 0;
-
}
-
+
case XENVER_changeset:
{
xen_changeset_info_t chgset;
if ( VM_ASSIST(d, pae_extended_cr3) )
fi.submap |= (1U << XENFEAT_pae_pgdir_above_4gb);
if ( paging_mode_translate(d) )
- fi.submap |=
+ fi.submap |=
(1U << XENFEAT_writable_page_tables) |
(1U << XENFEAT_auto_translated_physmap);
if ( is_hardware_domain(d) )