|
@@ -19,6 +19,11 @@
|
|
|
|
|
|
#include <xen/interface/xen.h>
|
|
|
|
|
|
+#ifdef CONFIG_LGUEST_GUEST
|
|
|
+#include <linux/lguest.h>
|
|
|
+#include "../../../drivers/lguest/lg.h"
|
|
|
+#endif
|
|
|
+
|
|
|
#define DEFINE(sym, val) \
|
|
|
asm volatile("\n->" #sym " %0 " #val : : "i" (val))
|
|
|
|
|
@@ -124,4 +129,19 @@ void foo(void)
|
|
|
OFFSET(XEN_vcpu_info_mask, vcpu_info, evtchn_upcall_mask);
|
|
|
OFFSET(XEN_vcpu_info_pending, vcpu_info, evtchn_upcall_pending);
|
|
|
#endif
|
|
|
+
|
|
|
+#ifdef CONFIG_LGUEST_GUEST
|
|
|
+ BLANK();
|
|
|
+ OFFSET(LGUEST_DATA_irq_enabled, lguest_data, irq_enabled);
|
|
|
+ OFFSET(LGUEST_PAGES_host_gdt_desc, lguest_pages, state.host_gdt_desc);
|
|
|
+ OFFSET(LGUEST_PAGES_host_idt_desc, lguest_pages, state.host_idt_desc);
|
|
|
+ OFFSET(LGUEST_PAGES_host_cr3, lguest_pages, state.host_cr3);
|
|
|
+ OFFSET(LGUEST_PAGES_host_sp, lguest_pages, state.host_sp);
|
|
|
+ OFFSET(LGUEST_PAGES_guest_gdt_desc, lguest_pages,state.guest_gdt_desc);
|
|
|
+ OFFSET(LGUEST_PAGES_guest_idt_desc, lguest_pages,state.guest_idt_desc);
|
|
|
+ OFFSET(LGUEST_PAGES_guest_gdt, lguest_pages, state.guest_gdt);
|
|
|
+ OFFSET(LGUEST_PAGES_regs_trapnum, lguest_pages, regs.trapnum);
|
|
|
+ OFFSET(LGUEST_PAGES_regs_errcode, lguest_pages, regs.errcode);
|
|
|
+ OFFSET(LGUEST_PAGES_regs, lguest_pages, regs);
|
|
|
+#endif
|
|
|
}
|