Rusty Russell | d7e28ff | 2007-07-19 01:49:23 -0700 | [diff] [blame] | 1 | #ifndef _LGUEST_H |
| 2 | #define _LGUEST_H |
| 3 | |
Rusty Russell | d7e28ff | 2007-07-19 01:49:23 -0700 | [diff] [blame] | 4 | #ifndef __ASSEMBLY__ |
| 5 | #include <linux/types.h> |
| 6 | #include <linux/init.h> |
| 7 | #include <linux/stringify.h> |
Rusty Russell | d7e28ff | 2007-07-19 01:49:23 -0700 | [diff] [blame] | 8 | #include <linux/lguest.h> |
| 9 | #include <linux/lguest_launcher.h> |
| 10 | #include <linux/wait.h> |
Glauber de Oliveira Costa | ca94f2b | 2008-01-18 23:59:07 -0200 | [diff] [blame] | 11 | #include <linux/hrtimer.h> |
Rusty Russell | d7e28ff | 2007-07-19 01:49:23 -0700 | [diff] [blame] | 12 | #include <linux/err.h> |
Tejun Heo | 5a0e3ad | 2010-03-24 17:04:11 +0900 | [diff] [blame] | 13 | #include <linux/slab.h> |
Rusty Russell | d7e28ff | 2007-07-19 01:49:23 -0700 | [diff] [blame] | 14 | |
Jes Sorensen | 625efab | 2007-10-22 11:03:28 +1000 | [diff] [blame] | 15 | #include <asm/lguest.h> |
Rusty Russell | d7e28ff | 2007-07-19 01:49:23 -0700 | [diff] [blame] | 16 | |
| 17 | void free_pagetables(void); |
| 18 | int init_pagetables(struct page **switcher_page, unsigned int pages); |
| 19 | |
Rusty Russell | 1842f23 | 2009-07-30 16:03:46 -0600 | [diff] [blame] | 20 | struct pgdir { |
Rusty Russell | ee3db0f | 2007-10-22 11:03:34 +1000 | [diff] [blame] | 21 | unsigned long gpgdir; |
Matias Zabaljauregui | df29f43 | 2007-10-22 11:03:33 +1000 | [diff] [blame] | 22 | pgd_t *pgdir; |
Rusty Russell | d7e28ff | 2007-07-19 01:49:23 -0700 | [diff] [blame] | 23 | }; |
| 24 | |
Rusty Russell | d7e28ff | 2007-07-19 01:49:23 -0700 | [diff] [blame] | 25 | /* We have two pages shared with guests, per cpu. */ |
Rusty Russell | 1842f23 | 2009-07-30 16:03:46 -0600 | [diff] [blame] | 26 | struct lguest_pages { |
Rusty Russell | d7e28ff | 2007-07-19 01:49:23 -0700 | [diff] [blame] | 27 | /* This is the stack page mapped rw in guest */ |
| 28 | char spare[PAGE_SIZE - sizeof(struct lguest_regs)]; |
| 29 | struct lguest_regs regs; |
| 30 | |
| 31 | /* This is the host state & guest descriptor page, ro in guest */ |
| 32 | struct lguest_ro_state state; |
| 33 | } __attribute__((aligned(PAGE_SIZE))); |
| 34 | |
| 35 | #define CHANGED_IDT 1 |
| 36 | #define CHANGED_GDT 2 |
| 37 | #define CHANGED_GDT_TLS 4 /* Actually a subset of CHANGED_GDT */ |
| 38 | #define CHANGED_ALL 3 |
| 39 | |
Glauber de Oliveira Costa | badb1e0 | 2008-01-07 11:05:22 -0200 | [diff] [blame] | 40 | struct lg_cpu { |
| 41 | unsigned int id; |
| 42 | struct lguest *lg; |
Glauber de Oliveira Costa | 66686c2 | 2008-01-07 11:05:34 -0200 | [diff] [blame] | 43 | struct task_struct *tsk; |
| 44 | struct mm_struct *mm; /* == tsk->mm, but that becomes NULL on exit */ |
Glauber de Oliveira Costa | 73044f0 | 2008-01-07 11:05:27 -0200 | [diff] [blame] | 45 | |
Glauber de Oliveira Costa | 4665ac8e | 2008-01-07 11:05:35 -0200 | [diff] [blame] | 46 | u32 cr2; |
| 47 | int ts; |
| 48 | u32 esp1; |
Matias Zabaljauregui | f086122 | 2009-06-12 22:27:04 -0600 | [diff] [blame] | 49 | u16 ss1; |
Glauber de Oliveira Costa | 4665ac8e | 2008-01-07 11:05:35 -0200 | [diff] [blame] | 50 | |
Glauber de Oliveira Costa | ae3749d | 2008-01-17 19:14:46 -0200 | [diff] [blame] | 51 | /* Bitmap of what has changed: see CHANGED_* above. */ |
| 52 | int changed; |
| 53 | |
Glauber de Oliveira Costa | 5e232f4 | 2008-01-07 11:05:36 -0200 | [diff] [blame] | 54 | unsigned long pending_notify; /* pfn from LHCALL_NOTIFY */ |
| 55 | |
Rusty Russell | 2e04ef7 | 2009-07-30 16:03:45 -0600 | [diff] [blame] | 56 | /* At end of a page shared mapped over lguest_pages in guest. */ |
Glauber de Oliveira Costa | a53a35a | 2008-01-07 11:05:32 -0200 | [diff] [blame] | 57 | unsigned long regs_page; |
| 58 | struct lguest_regs *regs; |
| 59 | |
Glauber de Oliveira Costa | f34f8c5 | 2008-01-17 19:13:26 -0200 | [diff] [blame] | 60 | struct lguest_pages *last_pages; |
| 61 | |
Rusty Russell | 5dea1c8 | 2011-07-22 14:39:48 +0930 | [diff] [blame] | 62 | /* Initialization mode: linear map everything. */ |
| 63 | bool linear_pages; |
Rusty Russell | 2e04ef7 | 2009-07-30 16:03:45 -0600 | [diff] [blame] | 64 | int cpu_pgd; /* Which pgd this cpu is currently using */ |
Glauber de Oliveira Costa | 1713608 | 2008-01-07 11:05:37 -0200 | [diff] [blame] | 65 | |
Glauber de Oliveira Costa | 73044f0 | 2008-01-07 11:05:27 -0200 | [diff] [blame] | 66 | /* If a hypercall was asked for, this points to the arguments. */ |
| 67 | struct hcall_args *hcall; |
| 68 | u32 next_hcall; |
Glauber de Oliveira Costa | ad8d8f3 | 2008-01-07 11:05:28 -0200 | [diff] [blame] | 69 | |
| 70 | /* Virtual clock device */ |
| 71 | struct hrtimer hrt; |
Glauber de Oliveira Costa | 177e449 | 2008-01-07 11:05:29 -0200 | [diff] [blame] | 72 | |
Rusty Russell | 5dac051 | 2009-06-12 22:27:10 -0600 | [diff] [blame] | 73 | /* Did the Guest tell us to halt? */ |
Glauber de Oliveira Costa | 66686c2 | 2008-01-07 11:05:34 -0200 | [diff] [blame] | 74 | int halted; |
| 75 | |
Glauber de Oliveira Costa | 177e449 | 2008-01-07 11:05:29 -0200 | [diff] [blame] | 76 | /* Pending virtual interrupts */ |
| 77 | DECLARE_BITMAP(irqs_pending, LGUEST_IRQS); |
Glauber de Oliveira Costa | fc708b3 | 2008-01-07 11:05:33 -0200 | [diff] [blame] | 78 | |
| 79 | struct lg_cpu_arch arch; |
Glauber de Oliveira Costa | badb1e0 | 2008-01-07 11:05:22 -0200 | [diff] [blame] | 80 | }; |
| 81 | |
Rusty Russell | df60aee | 2009-06-12 22:27:09 -0600 | [diff] [blame] | 82 | struct lg_eventfd { |
| 83 | unsigned long addr; |
Davide Libenzi | 1338901 | 2009-06-30 11:41:11 -0700 | [diff] [blame] | 84 | struct eventfd_ctx *event; |
Rusty Russell | df60aee | 2009-06-12 22:27:09 -0600 | [diff] [blame] | 85 | }; |
| 86 | |
| 87 | struct lg_eventfd_map { |
| 88 | unsigned int num; |
| 89 | struct lg_eventfd map[]; |
| 90 | }; |
| 91 | |
Rusty Russell | d7e28ff | 2007-07-19 01:49:23 -0700 | [diff] [blame] | 92 | /* The private info the thread maintains about the guest. */ |
Rusty Russell | 1842f23 | 2009-07-30 16:03:46 -0600 | [diff] [blame] | 93 | struct lguest { |
Rusty Russell | d7e28ff | 2007-07-19 01:49:23 -0700 | [diff] [blame] | 94 | struct lguest_data __user *lguest_data; |
Glauber de Oliveira Costa | badb1e0 | 2008-01-07 11:05:22 -0200 | [diff] [blame] | 95 | struct lg_cpu cpus[NR_CPUS]; |
| 96 | unsigned int nr_cpus; |
| 97 | |
Rusty Russell | d7e28ff | 2007-07-19 01:49:23 -0700 | [diff] [blame] | 98 | u32 pfn_limit; |
Rusty Russell | 2e04ef7 | 2009-07-30 16:03:45 -0600 | [diff] [blame] | 99 | |
| 100 | /* |
| 101 | * This provides the offset to the base of guest-physical memory in the |
| 102 | * Launcher. |
| 103 | */ |
Rusty Russell | 3c6b5bf | 2007-10-22 11:03:26 +1000 | [diff] [blame] | 104 | void __user *mem_base; |
Rusty Russell | 47436aa | 2007-10-22 11:03:36 +1000 | [diff] [blame] | 105 | unsigned long kernel_address; |
Rusty Russell | d7e28ff | 2007-07-19 01:49:23 -0700 | [diff] [blame] | 106 | |
Rusty Russell | d7e28ff | 2007-07-19 01:49:23 -0700 | [diff] [blame] | 107 | struct pgdir pgdirs[4]; |
| 108 | |
Rusty Russell | d7e28ff | 2007-07-19 01:49:23 -0700 | [diff] [blame] | 109 | unsigned long noirq_start, noirq_end; |
Rusty Russell | d7e28ff | 2007-07-19 01:49:23 -0700 | [diff] [blame] | 110 | |
| 111 | unsigned int stack_pages; |
| 112 | u32 tsc_khz; |
| 113 | |
Rusty Russell | df60aee | 2009-06-12 22:27:09 -0600 | [diff] [blame] | 114 | struct lg_eventfd_map *eventfds; |
| 115 | |
Rusty Russell | d7e28ff | 2007-07-19 01:49:23 -0700 | [diff] [blame] | 116 | /* Dead? */ |
| 117 | const char *dead; |
Rusty Russell | d7e28ff | 2007-07-19 01:49:23 -0700 | [diff] [blame] | 118 | }; |
| 119 | |
Rusty Russell | d7e28ff | 2007-07-19 01:49:23 -0700 | [diff] [blame] | 120 | extern struct mutex lguest_lock; |
| 121 | |
| 122 | /* core.c: */ |
Matias Zabaljauregui | df1693a | 2009-03-18 13:38:35 -0300 | [diff] [blame] | 123 | bool lguest_address_ok(const struct lguest *lg, |
| 124 | unsigned long addr, unsigned long len); |
Glauber de Oliveira Costa | 382ac6b | 2008-01-17 19:19:42 -0200 | [diff] [blame] | 125 | void __lgread(struct lg_cpu *, void *, unsigned long, unsigned); |
| 126 | void __lgwrite(struct lg_cpu *, unsigned long, const void *, unsigned); |
Rusty Russell | 2d37f94 | 2007-10-22 11:24:24 +1000 | [diff] [blame] | 127 | |
Rusty Russell | 2e04ef7 | 2009-07-30 16:03:45 -0600 | [diff] [blame] | 128 | /*H:035 |
| 129 | * Using memory-copy operations like that is usually inconvient, so we |
Rusty Russell | 2d37f94 | 2007-10-22 11:24:24 +1000 | [diff] [blame] | 130 | * have the following helper macros which read and write a specific type (often |
| 131 | * an unsigned long). |
| 132 | * |
Rusty Russell | 2e04ef7 | 2009-07-30 16:03:45 -0600 | [diff] [blame] | 133 | * This reads into a variable of the given type then returns that. |
| 134 | */ |
Glauber de Oliveira Costa | 382ac6b | 2008-01-17 19:19:42 -0200 | [diff] [blame] | 135 | #define lgread(cpu, addr, type) \ |
| 136 | ({ type _v; __lgread((cpu), &_v, (addr), sizeof(_v)); _v; }) |
Rusty Russell | 2d37f94 | 2007-10-22 11:24:24 +1000 | [diff] [blame] | 137 | |
| 138 | /* This checks that the variable is of the given type, then writes it out. */ |
Glauber de Oliveira Costa | 382ac6b | 2008-01-17 19:19:42 -0200 | [diff] [blame] | 139 | #define lgwrite(cpu, addr, type, val) \ |
Rusty Russell | 2d37f94 | 2007-10-22 11:24:24 +1000 | [diff] [blame] | 140 | do { \ |
| 141 | typecheck(type, val); \ |
Glauber de Oliveira Costa | 382ac6b | 2008-01-17 19:19:42 -0200 | [diff] [blame] | 142 | __lgwrite((cpu), (addr), &(val), sizeof(val)); \ |
Rusty Russell | 2d37f94 | 2007-10-22 11:24:24 +1000 | [diff] [blame] | 143 | } while(0) |
| 144 | /* (end of memory access helper routines) :*/ |
| 145 | |
Glauber de Oliveira Costa | d0953d4 | 2008-01-07 11:05:25 -0200 | [diff] [blame] | 146 | int run_guest(struct lg_cpu *cpu, unsigned long __user *user); |
Rusty Russell | d7e28ff | 2007-07-19 01:49:23 -0700 | [diff] [blame] | 147 | |
Rusty Russell | 2e04ef7 | 2009-07-30 16:03:45 -0600 | [diff] [blame] | 148 | /* |
| 149 | * Helper macros to obtain the first 12 or the last 20 bits, this is only the |
Matias Zabaljauregui | df29f43 | 2007-10-22 11:03:33 +1000 | [diff] [blame] | 150 | * first step in the migration to the kernel types. pte_pfn is already defined |
Rusty Russell | 2e04ef7 | 2009-07-30 16:03:45 -0600 | [diff] [blame] | 151 | * in the kernel. |
| 152 | */ |
Matias Zabaljauregui | df29f43 | 2007-10-22 11:03:33 +1000 | [diff] [blame] | 153 | #define pgd_flags(x) (pgd_val(x) & ~PAGE_MASK) |
Matias Zabaljauregui | df29f43 | 2007-10-22 11:03:33 +1000 | [diff] [blame] | 154 | #define pgd_pfn(x) (pgd_val(x) >> PAGE_SHIFT) |
Matias Zabaljauregui | acdd0b6 | 2009-06-12 22:27:07 -0600 | [diff] [blame] | 155 | #define pmd_flags(x) (pmd_val(x) & ~PAGE_MASK) |
| 156 | #define pmd_pfn(x) (pmd_val(x) >> PAGE_SHIFT) |
Rusty Russell | d7e28ff | 2007-07-19 01:49:23 -0700 | [diff] [blame] | 157 | |
| 158 | /* interrupts_and_traps.c: */ |
Rusty Russell | a32a8813 | 2009-06-12 22:27:02 -0600 | [diff] [blame] | 159 | unsigned int interrupt_pending(struct lg_cpu *cpu, bool *more); |
| 160 | void try_deliver_interrupt(struct lg_cpu *cpu, unsigned int irq, bool more); |
Rusty Russell | 9f155a9 | 2009-06-12 22:27:08 -0600 | [diff] [blame] | 161 | void set_interrupt(struct lg_cpu *cpu, unsigned int irq); |
Matias Zabaljauregui | df1693a | 2009-03-18 13:38:35 -0300 | [diff] [blame] | 162 | bool deliver_trap(struct lg_cpu *cpu, unsigned int num); |
Glauber de Oliveira Costa | fc708b3 | 2008-01-07 11:05:33 -0200 | [diff] [blame] | 163 | void load_guest_idt_entry(struct lg_cpu *cpu, unsigned int i, |
| 164 | u32 low, u32 hi); |
Glauber de Oliveira Costa | 4665ac8e | 2008-01-07 11:05:35 -0200 | [diff] [blame] | 165 | void guest_set_stack(struct lg_cpu *cpu, u32 seg, u32 esp, unsigned int pages); |
| 166 | void pin_stack_pages(struct lg_cpu *cpu); |
Rusty Russell | d7e28ff | 2007-07-19 01:49:23 -0700 | [diff] [blame] | 167 | void setup_default_idt_entries(struct lguest_ro_state *state, |
| 168 | const unsigned long *def); |
Glauber de Oliveira Costa | fc708b3 | 2008-01-07 11:05:33 -0200 | [diff] [blame] | 169 | void copy_traps(const struct lg_cpu *cpu, struct desc_struct *idt, |
Rusty Russell | d7e28ff | 2007-07-19 01:49:23 -0700 | [diff] [blame] | 170 | const unsigned long *def); |
Glauber de Oliveira Costa | ad8d8f3 | 2008-01-07 11:05:28 -0200 | [diff] [blame] | 171 | void guest_set_clockevent(struct lg_cpu *cpu, unsigned long delta); |
Rusty Russell | df60aee | 2009-06-12 22:27:09 -0600 | [diff] [blame] | 172 | bool send_notify_to_eventfd(struct lg_cpu *cpu); |
Glauber de Oliveira Costa | ad8d8f3 | 2008-01-07 11:05:28 -0200 | [diff] [blame] | 173 | void init_clockdev(struct lg_cpu *cpu); |
Rusty Russell | c18acd7 | 2007-10-22 11:03:35 +1000 | [diff] [blame] | 174 | bool check_syscall_vector(struct lguest *lg); |
| 175 | int init_interrupts(void); |
| 176 | void free_interrupts(void); |
Rusty Russell | d7e28ff | 2007-07-19 01:49:23 -0700 | [diff] [blame] | 177 | |
| 178 | /* segments.c: */ |
| 179 | void setup_default_gdt_entries(struct lguest_ro_state *state); |
Glauber de Oliveira Costa | fc708b3 | 2008-01-07 11:05:33 -0200 | [diff] [blame] | 180 | void setup_guest_gdt(struct lg_cpu *cpu); |
Rusty Russell | a489f0b | 2009-04-19 23:14:00 -0600 | [diff] [blame] | 181 | void load_guest_gdt_entry(struct lg_cpu *cpu, unsigned int i, |
| 182 | u32 low, u32 hi); |
Glauber de Oliveira Costa | fc708b3 | 2008-01-07 11:05:33 -0200 | [diff] [blame] | 183 | void guest_load_tls(struct lg_cpu *cpu, unsigned long tls_array); |
| 184 | void copy_gdt(const struct lg_cpu *cpu, struct desc_struct *gdt); |
| 185 | void copy_gdt_tls(const struct lg_cpu *cpu, struct desc_struct *gdt); |
Rusty Russell | d7e28ff | 2007-07-19 01:49:23 -0700 | [diff] [blame] | 186 | |
| 187 | /* page_tables.c: */ |
Matias Zabaljauregui | 58a2456 | 2008-09-29 01:40:07 -0300 | [diff] [blame] | 188 | int init_guest_pagetable(struct lguest *lg); |
Rusty Russell | d7e28ff | 2007-07-19 01:49:23 -0700 | [diff] [blame] | 189 | void free_guest_pagetable(struct lguest *lg); |
Glauber de Oliveira Costa | 4665ac8e | 2008-01-07 11:05:35 -0200 | [diff] [blame] | 190 | void guest_new_pagetable(struct lg_cpu *cpu, unsigned long pgtable); |
Matias Zabaljauregui | ebe0ba8 | 2009-05-30 15:48:08 -0300 | [diff] [blame] | 191 | void guest_set_pgd(struct lguest *lg, unsigned long gpgdir, u32 i); |
Matias Zabaljauregui | acdd0b6 | 2009-06-12 22:27:07 -0600 | [diff] [blame] | 192 | #ifdef CONFIG_X86_PAE |
| 193 | void guest_set_pmd(struct lguest *lg, unsigned long gpgdir, u32 i); |
| 194 | #endif |
Glauber de Oliveira Costa | 4665ac8e | 2008-01-07 11:05:35 -0200 | [diff] [blame] | 195 | void guest_pagetable_clear_all(struct lg_cpu *cpu); |
Glauber de Oliveira Costa | 1713608 | 2008-01-07 11:05:37 -0200 | [diff] [blame] | 196 | void guest_pagetable_flush_user(struct lg_cpu *cpu); |
Glauber de Oliveira Costa | 382ac6b | 2008-01-17 19:19:42 -0200 | [diff] [blame] | 197 | void guest_set_pte(struct lg_cpu *cpu, unsigned long gpgdir, |
Matias Zabaljauregui | df29f43 | 2007-10-22 11:03:33 +1000 | [diff] [blame] | 198 | unsigned long vaddr, pte_t val); |
Glauber de Oliveira Costa | 0c78441 | 2008-01-07 11:05:30 -0200 | [diff] [blame] | 199 | void map_switcher_in_guest(struct lg_cpu *cpu, struct lguest_pages *pages); |
Matias Zabaljauregui | df1693a | 2009-03-18 13:38:35 -0300 | [diff] [blame] | 200 | bool demand_page(struct lg_cpu *cpu, unsigned long cr2, int errcode); |
Glauber de Oliveira Costa | 1713608 | 2008-01-07 11:05:37 -0200 | [diff] [blame] | 201 | void pin_page(struct lg_cpu *cpu, unsigned long vaddr); |
| 202 | unsigned long guest_pa(struct lg_cpu *cpu, unsigned long vaddr); |
Glauber de Oliveira Costa | 382ac6b | 2008-01-17 19:19:42 -0200 | [diff] [blame] | 203 | void page_table_guest_data_init(struct lg_cpu *cpu); |
Rusty Russell | d7e28ff | 2007-07-19 01:49:23 -0700 | [diff] [blame] | 204 | |
Jes Sorensen | 625efab | 2007-10-22 11:03:28 +1000 | [diff] [blame] | 205 | /* <arch>/core.c: */ |
| 206 | void lguest_arch_host_init(void); |
| 207 | void lguest_arch_host_fini(void); |
Glauber de Oliveira Costa | d0953d4 | 2008-01-07 11:05:25 -0200 | [diff] [blame] | 208 | void lguest_arch_run_guest(struct lg_cpu *cpu); |
Glauber de Oliveira Costa | 73044f0 | 2008-01-07 11:05:27 -0200 | [diff] [blame] | 209 | void lguest_arch_handle_trap(struct lg_cpu *cpu); |
| 210 | int lguest_arch_init_hypercalls(struct lg_cpu *cpu); |
| 211 | int lguest_arch_do_hcall(struct lg_cpu *cpu, struct hcall_args *args); |
Glauber de Oliveira Costa | a53a35a | 2008-01-07 11:05:32 -0200 | [diff] [blame] | 212 | void lguest_arch_setup_regs(struct lg_cpu *cpu, unsigned long start); |
Jes Sorensen | 625efab | 2007-10-22 11:03:28 +1000 | [diff] [blame] | 213 | |
| 214 | /* <arch>/switcher.S: */ |
| 215 | extern char start_switcher_text[], end_switcher_text[], switch_to_guest[]; |
| 216 | |
Rusty Russell | d7e28ff | 2007-07-19 01:49:23 -0700 | [diff] [blame] | 217 | /* lguest_user.c: */ |
| 218 | int lguest_device_init(void); |
| 219 | void lguest_device_remove(void); |
| 220 | |
Rusty Russell | d7e28ff | 2007-07-19 01:49:23 -0700 | [diff] [blame] | 221 | /* hypercalls.c: */ |
Glauber de Oliveira Costa | 73044f0 | 2008-01-07 11:05:27 -0200 | [diff] [blame] | 222 | void do_hypercalls(struct lg_cpu *cpu); |
Glauber de Oliveira Costa | 382ac6b | 2008-01-17 19:19:42 -0200 | [diff] [blame] | 223 | void write_timestamp(struct lg_cpu *cpu); |
Rusty Russell | d7e28ff | 2007-07-19 01:49:23 -0700 | [diff] [blame] | 224 | |
Rusty Russell | dde7978 | 2007-07-26 10:41:03 -0700 | [diff] [blame] | 225 | /*L:035 |
| 226 | * Let's step aside for the moment, to study one important routine that's used |
| 227 | * widely in the Host code. |
| 228 | * |
Rusty Russell | e1e7296 | 2007-10-25 15:02:50 +1000 | [diff] [blame] | 229 | * There are many cases where the Guest can do something invalid, like pass crap |
Rusty Russell | dde7978 | 2007-07-26 10:41:03 -0700 | [diff] [blame] | 230 | * to a hypercall. Since only the Guest kernel can make hypercalls, it's quite |
| 231 | * acceptable to simply terminate the Guest and give the Launcher a nicely |
| 232 | * formatted reason. It's also simpler for the Guest itself, which doesn't |
| 233 | * need to check most hypercalls for "success"; if you're still running, it |
| 234 | * succeeded. |
| 235 | * |
| 236 | * Once this is called, the Guest will never run again, so most Host code can |
| 237 | * call this then continue as if nothing had happened. This means many |
| 238 | * functions don't have to explicitly return an error code, which keeps the |
| 239 | * code simple. |
| 240 | * |
| 241 | * It also means that this can be called more than once: only the first one is |
| 242 | * remembered. The only trick is that we still need to kill the Guest even if |
| 243 | * we can't allocate memory to store the reason. Linux has a neat way of |
| 244 | * packing error codes into invalid pointers, so we use that here. |
| 245 | * |
| 246 | * Like any macro which uses an "if", it is safely wrapped in a run-once "do { |
| 247 | * } while(0)". |
| 248 | */ |
Glauber de Oliveira Costa | 382ac6b | 2008-01-17 19:19:42 -0200 | [diff] [blame] | 249 | #define kill_guest(cpu, fmt...) \ |
Rusty Russell | d7e28ff | 2007-07-19 01:49:23 -0700 | [diff] [blame] | 250 | do { \ |
Glauber de Oliveira Costa | 382ac6b | 2008-01-17 19:19:42 -0200 | [diff] [blame] | 251 | if (!(cpu)->lg->dead) { \ |
| 252 | (cpu)->lg->dead = kasprintf(GFP_ATOMIC, fmt); \ |
| 253 | if (!(cpu)->lg->dead) \ |
| 254 | (cpu)->lg->dead = ERR_PTR(-ENOMEM); \ |
Rusty Russell | d7e28ff | 2007-07-19 01:49:23 -0700 | [diff] [blame] | 255 | } \ |
| 256 | } while(0) |
Rusty Russell | dde7978 | 2007-07-26 10:41:03 -0700 | [diff] [blame] | 257 | /* (End of aside) :*/ |
Rusty Russell | d7e28ff | 2007-07-19 01:49:23 -0700 | [diff] [blame] | 258 | |
Rusty Russell | d7e28ff | 2007-07-19 01:49:23 -0700 | [diff] [blame] | 259 | #endif /* __ASSEMBLY__ */ |
| 260 | #endif /* _LGUEST_H */ |