/******************************************************************************

 * kernel.c

 */

asm(".file \"" __FILE__ "\"");

#include <xen/init.h>

#include <xen/lib.h>

#include <xen/errno.h>

#include <xen/version.h>

#include <xen/sched.h>

#include <xen/guest_access.h>

#include <asm/current.h>

#include <compat/xen.h>

#include <compat/version.h>

extern xen_commandline_t saved_cmdline;

#define xen_extraversion compat_extraversion

#define xen_extraversion_t compat_extraversion_t

#define xen_compile_info compat_compile_info

#define xen_compile_info_t compat_compile_info_t

CHECK_TYPE(capabilities_info);

#define xen_platform_parameters compat_platform_parameters

#define xen_platform_parameters_t compat_platform_parameters_t

#undef HYPERVISOR_VIRT_START

#define HYPERVISOR_VIRT_START HYPERVISOR_COMPAT_VIRT_START(current->domain)

#define xen_changeset_info compat_changeset_info

#define xen_changeset_info_t compat_changeset_info_t

#define xen_feature_info compat_feature_info

#define xen_feature_info_t compat_feature_info_t

CHECK_TYPE(domain_handle);

#ifdef COMPAT_VM_ASSIST_VALID

#undef VM_ASSIST_VALID

#define VM_ASSIST_VALID COMPAT_VM_ASSIST_VALID

#endif

#define DO(fn) int compat_##fn

#define COMPAT

#include "../kernel.c"

/*

 * Local variables:

 * mode: C

 * c-file-style: "BSD"

 * c-basic-offset: 4

 * tab-width: 4

 * indent-tabs-mode: nil

 * End:

 */