| #ifndef _X86_LGUEST_H |
| #define _X86_LGUEST_H |
| |
| #define GDT_ENTRY_LGUEST_CS 10 |
| #define GDT_ENTRY_LGUEST_DS 11 |
| #define LGUEST_CS (GDT_ENTRY_LGUEST_CS * 8) |
| #define LGUEST_DS (GDT_ENTRY_LGUEST_DS * 8) |
| |
| #ifndef __ASSEMBLY__ |
| #include <asm/desc.h> |
| |
| #define GUEST_PL 1 |
| |
| /* Every guest maps the core switcher code. */ |
| #define SHARED_SWITCHER_PAGES \ |
| DIV_ROUND_UP(end_switcher_text - start_switcher_text, PAGE_SIZE) |
| /* Pages for switcher itself, then two pages per cpu */ |
| #define TOTAL_SWITCHER_PAGES (SHARED_SWITCHER_PAGES + 2 * NR_CPUS) |
| |
| /* We map at -4M for ease of mapping into the guest (one PTE page). */ |
| #define SWITCHER_ADDR 0xFFC00000 |
| |
| /* Found in switcher.S */ |
| extern unsigned long default_idt_entries[]; |
| |
| struct lguest_regs |
| { |
| /* Manually saved part. */ |
| unsigned long eax, ebx, ecx, edx; |
| unsigned long esi, edi, ebp; |
| unsigned long gs; |
| unsigned long fs, ds, es; |
| unsigned long trapnum, errcode; |
| /* Trap pushed part */ |
| unsigned long eip; |
| unsigned long cs; |
| unsigned long eflags; |
| unsigned long esp; |
| unsigned long ss; |
| }; |
| |
| /* This is a guest-specific page (mapped ro) into the guest. */ |
| struct lguest_ro_state |
| { |
| /* Host information we need to restore when we switch back. */ |
| u32 host_cr3; |
| struct Xgt_desc_struct host_idt_desc; |
| struct Xgt_desc_struct host_gdt_desc; |
| u32 host_sp; |
| |
| /* Fields which are used when guest is running. */ |
| struct Xgt_desc_struct guest_idt_desc; |
| struct Xgt_desc_struct guest_gdt_desc; |
| struct i386_hw_tss guest_tss; |
| struct desc_struct guest_idt[IDT_ENTRIES]; |
| struct desc_struct guest_gdt[GDT_ENTRIES]; |
| }; |
| |
| struct lg_cpu_arch |
| { |
| /* The GDT entries copied into lguest_ro_state when running. */ |
| struct desc_struct gdt[GDT_ENTRIES]; |
| |
| /* The IDT entries: some copied into lguest_ro_state when running. */ |
| struct desc_struct idt[IDT_ENTRIES]; |
| |
| /* The address of the last guest-visible pagefault (ie. cr2). */ |
| unsigned long last_pagefault; |
| }; |
| |
| static inline void lguest_set_ts(void) |
| { |
| u32 cr0; |
| |
| cr0 = read_cr0(); |
| if (!(cr0 & 8)) |
| write_cr0(cr0|8); |
| } |
| |
| /* Full 4G segment descriptors, suitable for CS and DS. */ |
| #define FULL_EXEC_SEGMENT ((struct desc_struct){0x0000ffff, 0x00cf9b00}) |
| #define FULL_SEGMENT ((struct desc_struct){0x0000ffff, 0x00cf9300}) |
| |
| #endif /* __ASSEMBLY__ */ |
| |
| #endif |