@@ -1,6 +1,6 @@
/******************************************************************************
* kernel.c
- *
+ *
* Copyright (c) 2002-2005 K A Fraser
*/
@@ -568,7 +568,7 @@ static long xenver_varbuf_op(int cmd, XEN_GUEST_HANDLE_PARAM(void) arg)
long do_xen_version(int cmd, XEN_GUEST_HANDLE_PARAM(void) arg)
{
- bool_t deny = !!xsm_xen_version(XSM_OTHER, cmd);
+ bool deny = xsm_xen_version(XSM_OTHER, cmd);
switch ( cmd )
{
@@ -612,7 +612,7 @@ long do_xen_version(int cmd, XEN_GUEST_HANDLE_PARAM(void) arg)
return -EFAULT;
return 0;
}
-
+
case XENVER_platform_parameters:
{
const struct vcpu *curr = current;
@@ -651,9 +651,8 @@ long do_xen_version(int cmd, XEN_GUEST_HANDLE_PARAM(void) arg)
}
return 0;
-
}
-
+
case XENVER_changeset:
{
xen_changeset_info_t chgset;
@@ -680,7 +679,7 @@ long do_xen_version(int cmd, XEN_GUEST_HANDLE_PARAM(void) arg)
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) )
@@ -209,11 +209,11 @@ void __init xen_build_init(void)
}
}
}
-#endif
+#endif /* CONFIG_X86 */
if ( !rc )
printk(XENLOG_INFO "build-id: %*phN\n", build_id_len, build_id_p);
}
-#endif
+#endif /* BUILD_ID */
/*
* Local variables:
* mode: C