|
@@ -128,13 +128,11 @@ void foo(void)
|
|
|
OFFSET(XEN_vcpu_info_pending, vcpu_info, evtchn_upcall_pending);
|
|
|
#endif
|
|
|
|
|
|
-#ifdef CONFIG_LGUEST_GUEST
|
|
|
+#if defined(CONFIG_LGUEST) || defined(CONFIG_LGUEST_GUEST) || defined(CONFIG_LGUEST_MODULE)
|
|
|
BLANK();
|
|
|
OFFSET(LGUEST_DATA_irq_enabled, lguest_data, irq_enabled);
|
|
|
OFFSET(LGUEST_DATA_pgdir, lguest_data, pgdir);
|
|
|
-#endif
|
|
|
|
|
|
-#ifdef CONFIG_LGUEST
|
|
|
BLANK();
|
|
|
OFFSET(LGUEST_PAGES_host_gdt_desc, lguest_pages, state.host_gdt_desc);
|
|
|
OFFSET(LGUEST_PAGES_host_idt_desc, lguest_pages, state.host_idt_desc);
|