|
@@ -18,6 +18,8 @@
|
|
#include <asm/ia32.h>
|
|
#include <asm/ia32.h>
|
|
#include <asm/bootparam.h>
|
|
#include <asm/bootparam.h>
|
|
|
|
|
|
|
|
+#include <xen/interface/xen.h>
|
|
|
|
+
|
|
#define __NO_STUBS 1
|
|
#define __NO_STUBS 1
|
|
#undef __SYSCALL
|
|
#undef __SYSCALL
|
|
#undef _ASM_X86_64_UNISTD_H_
|
|
#undef _ASM_X86_64_UNISTD_H_
|
|
@@ -134,5 +136,11 @@ int main(void)
|
|
|
|
|
|
BLANK();
|
|
BLANK();
|
|
DEFINE(PAGE_SIZE_asm, PAGE_SIZE);
|
|
DEFINE(PAGE_SIZE_asm, PAGE_SIZE);
|
|
|
|
+#ifdef CONFIG_XEN
|
|
|
|
+ BLANK();
|
|
|
|
+ OFFSET(XEN_vcpu_info_mask, vcpu_info, evtchn_upcall_mask);
|
|
|
|
+ OFFSET(XEN_vcpu_info_pending, vcpu_info, evtchn_upcall_pending);
|
|
|
|
+#undef ENTRY
|
|
|
|
+#endif
|
|
return 0;
|
|
return 0;
|
|
}
|
|
}
|