Rusty Russell | f938d2c | 2007-07-26 10:41:02 -0700 | [diff] [blame] | 1 | /*P:400 This contains run_guest() which actually calls into the Host<->Guest |
| 2 | * Switcher and analyzes the return, such as determining if the Guest wants the |
| 3 | * Host to do something. This file also contains useful helper routines, and a |
| 4 | * couple of non-obvious setup and teardown pieces which were implemented after |
| 5 | * days of debugging pain. :*/ |
Rusty Russell | d7e28ff | 2007-07-19 01:49:23 -0700 | [diff] [blame] | 6 | #include <linux/module.h> |
| 7 | #include <linux/stringify.h> |
| 8 | #include <linux/stddef.h> |
| 9 | #include <linux/io.h> |
| 10 | #include <linux/mm.h> |
| 11 | #include <linux/vmalloc.h> |
| 12 | #include <linux/cpu.h> |
| 13 | #include <linux/freezer.h> |
Jes Sorensen | 625efab | 2007-10-22 11:03:28 +1000 | [diff] [blame] | 14 | #include <linux/highmem.h> |
Rusty Russell | d7e28ff | 2007-07-19 01:49:23 -0700 | [diff] [blame] | 15 | #include <asm/paravirt.h> |
Rusty Russell | d7e28ff | 2007-07-19 01:49:23 -0700 | [diff] [blame] | 16 | #include <asm/pgtable.h> |
| 17 | #include <asm/uaccess.h> |
| 18 | #include <asm/poll.h> |
Rusty Russell | d7e28ff | 2007-07-19 01:49:23 -0700 | [diff] [blame] | 19 | #include <asm/asm-offsets.h> |
Rusty Russell | d7e28ff | 2007-07-19 01:49:23 -0700 | [diff] [blame] | 20 | #include "lg.h" |
| 21 | |
Rusty Russell | d7e28ff | 2007-07-19 01:49:23 -0700 | [diff] [blame] | 22 | |
| 23 | static struct vm_struct *switcher_vma; |
| 24 | static struct page **switcher_page; |
| 25 | |
Rusty Russell | d7e28ff | 2007-07-19 01:49:23 -0700 | [diff] [blame] | 26 | /* This One Big lock protects all inter-guest data structures. */ |
| 27 | DEFINE_MUTEX(lguest_lock); |
Rusty Russell | d7e28ff | 2007-07-19 01:49:23 -0700 | [diff] [blame] | 28 | |
Rusty Russell | bff672e | 2007-07-26 10:41:04 -0700 | [diff] [blame] | 29 | /*H:010 We need to set up the Switcher at a high virtual address. Remember the |
| 30 | * Switcher is a few hundred bytes of assembler code which actually changes the |
| 31 | * CPU to run the Guest, and then changes back to the Host when a trap or |
| 32 | * interrupt happens. |
| 33 | * |
| 34 | * The Switcher code must be at the same virtual address in the Guest as the |
| 35 | * Host since it will be running as the switchover occurs. |
| 36 | * |
| 37 | * Trying to map memory at a particular address is an unusual thing to do, so |
Jes Sorensen | 625efab | 2007-10-22 11:03:28 +1000 | [diff] [blame] | 38 | * it's not a simple one-liner. */ |
Rusty Russell | d7e28ff | 2007-07-19 01:49:23 -0700 | [diff] [blame] | 39 | static __init int map_switcher(void) |
| 40 | { |
| 41 | int i, err; |
| 42 | struct page **pagep; |
| 43 | |
Rusty Russell | bff672e | 2007-07-26 10:41:04 -0700 | [diff] [blame] | 44 | /* |
| 45 | * Map the Switcher in to high memory. |
| 46 | * |
| 47 | * It turns out that if we choose the address 0xFFC00000 (4MB under the |
| 48 | * top virtual address), it makes setting up the page tables really |
| 49 | * easy. |
| 50 | */ |
| 51 | |
| 52 | /* We allocate an array of "struct page"s. map_vm_area() wants the |
| 53 | * pages in this form, rather than just an array of pointers. */ |
Rusty Russell | d7e28ff | 2007-07-19 01:49:23 -0700 | [diff] [blame] | 54 | switcher_page = kmalloc(sizeof(switcher_page[0])*TOTAL_SWITCHER_PAGES, |
| 55 | GFP_KERNEL); |
| 56 | if (!switcher_page) { |
| 57 | err = -ENOMEM; |
| 58 | goto out; |
| 59 | } |
| 60 | |
Rusty Russell | bff672e | 2007-07-26 10:41:04 -0700 | [diff] [blame] | 61 | /* Now we actually allocate the pages. The Guest will see these pages, |
| 62 | * so we make sure they're zeroed. */ |
Rusty Russell | d7e28ff | 2007-07-19 01:49:23 -0700 | [diff] [blame] | 63 | for (i = 0; i < TOTAL_SWITCHER_PAGES; i++) { |
| 64 | unsigned long addr = get_zeroed_page(GFP_KERNEL); |
| 65 | if (!addr) { |
| 66 | err = -ENOMEM; |
| 67 | goto free_some_pages; |
| 68 | } |
| 69 | switcher_page[i] = virt_to_page(addr); |
| 70 | } |
| 71 | |
Rusty Russell | bff672e | 2007-07-26 10:41:04 -0700 | [diff] [blame] | 72 | /* Now we reserve the "virtual memory area" we want: 0xFFC00000 |
| 73 | * (SWITCHER_ADDR). We might not get it in theory, but in practice |
| 74 | * it's worked so far. */ |
Rusty Russell | d7e28ff | 2007-07-19 01:49:23 -0700 | [diff] [blame] | 75 | switcher_vma = __get_vm_area(TOTAL_SWITCHER_PAGES * PAGE_SIZE, |
| 76 | VM_ALLOC, SWITCHER_ADDR, VMALLOC_END); |
| 77 | if (!switcher_vma) { |
| 78 | err = -ENOMEM; |
| 79 | printk("lguest: could not map switcher pages high\n"); |
| 80 | goto free_pages; |
| 81 | } |
| 82 | |
Rusty Russell | bff672e | 2007-07-26 10:41:04 -0700 | [diff] [blame] | 83 | /* This code actually sets up the pages we've allocated to appear at |
| 84 | * SWITCHER_ADDR. map_vm_area() takes the vma we allocated above, the |
| 85 | * kind of pages we're mapping (kernel pages), and a pointer to our |
| 86 | * array of struct pages. It increments that pointer, but we don't |
| 87 | * care. */ |
Rusty Russell | d7e28ff | 2007-07-19 01:49:23 -0700 | [diff] [blame] | 88 | pagep = switcher_page; |
| 89 | err = map_vm_area(switcher_vma, PAGE_KERNEL, &pagep); |
| 90 | if (err) { |
| 91 | printk("lguest: map_vm_area failed: %i\n", err); |
| 92 | goto free_vma; |
| 93 | } |
Rusty Russell | bff672e | 2007-07-26 10:41:04 -0700 | [diff] [blame] | 94 | |
Jes Sorensen | 625efab | 2007-10-22 11:03:28 +1000 | [diff] [blame] | 95 | /* Now the Switcher is mapped at the right address, we can't fail! |
| 96 | * Copy in the compiled-in Switcher code (from <arch>_switcher.S). */ |
Rusty Russell | d7e28ff | 2007-07-19 01:49:23 -0700 | [diff] [blame] | 97 | memcpy(switcher_vma->addr, start_switcher_text, |
| 98 | end_switcher_text - start_switcher_text); |
| 99 | |
Rusty Russell | d7e28ff | 2007-07-19 01:49:23 -0700 | [diff] [blame] | 100 | printk(KERN_INFO "lguest: mapped switcher at %p\n", |
| 101 | switcher_vma->addr); |
Rusty Russell | bff672e | 2007-07-26 10:41:04 -0700 | [diff] [blame] | 102 | /* And we succeeded... */ |
Rusty Russell | d7e28ff | 2007-07-19 01:49:23 -0700 | [diff] [blame] | 103 | return 0; |
| 104 | |
| 105 | free_vma: |
| 106 | vunmap(switcher_vma->addr); |
| 107 | free_pages: |
| 108 | i = TOTAL_SWITCHER_PAGES; |
| 109 | free_some_pages: |
| 110 | for (--i; i >= 0; i--) |
| 111 | __free_pages(switcher_page[i], 0); |
| 112 | kfree(switcher_page); |
| 113 | out: |
| 114 | return err; |
| 115 | } |
Rusty Russell | bff672e | 2007-07-26 10:41:04 -0700 | [diff] [blame] | 116 | /*:*/ |
Rusty Russell | d7e28ff | 2007-07-19 01:49:23 -0700 | [diff] [blame] | 117 | |
Rusty Russell | bff672e | 2007-07-26 10:41:04 -0700 | [diff] [blame] | 118 | /* Cleaning up the mapping when the module is unloaded is almost... |
| 119 | * too easy. */ |
Rusty Russell | d7e28ff | 2007-07-19 01:49:23 -0700 | [diff] [blame] | 120 | static void unmap_switcher(void) |
| 121 | { |
| 122 | unsigned int i; |
| 123 | |
Rusty Russell | bff672e | 2007-07-26 10:41:04 -0700 | [diff] [blame] | 124 | /* vunmap() undoes *both* map_vm_area() and __get_vm_area(). */ |
Rusty Russell | d7e28ff | 2007-07-19 01:49:23 -0700 | [diff] [blame] | 125 | vunmap(switcher_vma->addr); |
Rusty Russell | bff672e | 2007-07-26 10:41:04 -0700 | [diff] [blame] | 126 | /* Now we just need to free the pages we copied the switcher into */ |
Rusty Russell | d7e28ff | 2007-07-19 01:49:23 -0700 | [diff] [blame] | 127 | for (i = 0; i < TOTAL_SWITCHER_PAGES; i++) |
| 128 | __free_pages(switcher_page[i], 0); |
| 129 | } |
| 130 | |
Rusty Russell | e1e7296 | 2007-10-25 15:02:50 +1000 | [diff] [blame] | 131 | /*H:032 |
Rusty Russell | dde7978 | 2007-07-26 10:41:03 -0700 | [diff] [blame] | 132 | * Dealing With Guest Memory. |
| 133 | * |
Rusty Russell | e1e7296 | 2007-10-25 15:02:50 +1000 | [diff] [blame] | 134 | * Before we go too much further into the Host, we need to grok the routines |
| 135 | * we use to deal with Guest memory. |
| 136 | * |
Rusty Russell | dde7978 | 2007-07-26 10:41:03 -0700 | [diff] [blame] | 137 | * When the Guest gives us (what it thinks is) a physical address, we can use |
Rusty Russell | 3c6b5bf | 2007-10-22 11:03:26 +1000 | [diff] [blame] | 138 | * the normal copy_from_user() & copy_to_user() on the corresponding place in |
| 139 | * the memory region allocated by the Launcher. |
Rusty Russell | dde7978 | 2007-07-26 10:41:03 -0700 | [diff] [blame] | 140 | * |
| 141 | * But we can't trust the Guest: it might be trying to access the Launcher |
| 142 | * code. We have to check that the range is below the pfn_limit the Launcher |
| 143 | * gave us. We have to make sure that addr + len doesn't give us a false |
| 144 | * positive by overflowing, too. */ |
Rusty Russell | d7e28ff | 2007-07-19 01:49:23 -0700 | [diff] [blame] | 145 | int lguest_address_ok(const struct lguest *lg, |
| 146 | unsigned long addr, unsigned long len) |
| 147 | { |
| 148 | return (addr+len) / PAGE_SIZE < lg->pfn_limit && (addr+len >= addr); |
| 149 | } |
| 150 | |
Rusty Russell | 2d37f94 | 2007-10-22 11:24:24 +1000 | [diff] [blame] | 151 | /* This routine copies memory from the Guest. Here we can see how useful the |
| 152 | * kill_lguest() routine we met in the Launcher can be: we return a random |
| 153 | * value (all zeroes) instead of needing to return an error. */ |
| 154 | void __lgread(struct lguest *lg, void *b, unsigned long addr, unsigned bytes) |
Rusty Russell | d7e28ff | 2007-07-19 01:49:23 -0700 | [diff] [blame] | 155 | { |
| 156 | if (!lguest_address_ok(lg, addr, bytes) |
Rusty Russell | 3c6b5bf | 2007-10-22 11:03:26 +1000 | [diff] [blame] | 157 | || copy_from_user(b, lg->mem_base + addr, bytes) != 0) { |
Rusty Russell | d7e28ff | 2007-07-19 01:49:23 -0700 | [diff] [blame] | 158 | /* copy_from_user should do this, but as we rely on it... */ |
| 159 | memset(b, 0, bytes); |
| 160 | kill_guest(lg, "bad read address %#lx len %u", addr, bytes); |
| 161 | } |
| 162 | } |
| 163 | |
Rusty Russell | 2d37f94 | 2007-10-22 11:24:24 +1000 | [diff] [blame] | 164 | /* This is the write (copy into guest) version. */ |
| 165 | void __lgwrite(struct lguest *lg, unsigned long addr, const void *b, |
| 166 | unsigned bytes) |
Rusty Russell | d7e28ff | 2007-07-19 01:49:23 -0700 | [diff] [blame] | 167 | { |
| 168 | if (!lguest_address_ok(lg, addr, bytes) |
Rusty Russell | 3c6b5bf | 2007-10-22 11:03:26 +1000 | [diff] [blame] | 169 | || copy_to_user(lg->mem_base + addr, b, bytes) != 0) |
Rusty Russell | d7e28ff | 2007-07-19 01:49:23 -0700 | [diff] [blame] | 170 | kill_guest(lg, "bad write address %#lx len %u", addr, bytes); |
| 171 | } |
Rusty Russell | 2d37f94 | 2007-10-22 11:24:24 +1000 | [diff] [blame] | 172 | /*:*/ |
Rusty Russell | d7e28ff | 2007-07-19 01:49:23 -0700 | [diff] [blame] | 173 | |
Rusty Russell | bff672e | 2007-07-26 10:41:04 -0700 | [diff] [blame] | 174 | /*H:030 Let's jump straight to the the main loop which runs the Guest. |
| 175 | * Remember, this is called by the Launcher reading /dev/lguest, and we keep |
| 176 | * going around and around until something interesting happens. */ |
Rusty Russell | d7e28ff | 2007-07-19 01:49:23 -0700 | [diff] [blame] | 177 | int run_guest(struct lguest *lg, unsigned long __user *user) |
| 178 | { |
Rusty Russell | bff672e | 2007-07-26 10:41:04 -0700 | [diff] [blame] | 179 | /* We stop running once the Guest is dead. */ |
Rusty Russell | d7e28ff | 2007-07-19 01:49:23 -0700 | [diff] [blame] | 180 | while (!lg->dead) { |
Rusty Russell | cc6d4fb | 2007-10-22 11:03:30 +1000 | [diff] [blame] | 181 | /* First we run any hypercalls the Guest wants done. */ |
| 182 | if (lg->hcall) |
| 183 | do_hypercalls(lg); |
| 184 | |
Rusty Russell | 1504527 | 2007-10-22 11:24:10 +1000 | [diff] [blame] | 185 | /* It's possible the Guest did a NOTIFY hypercall to the |
Rusty Russell | bff672e | 2007-07-26 10:41:04 -0700 | [diff] [blame] | 186 | * Launcher, in which case we return from the read() now. */ |
Rusty Russell | 1504527 | 2007-10-22 11:24:10 +1000 | [diff] [blame] | 187 | if (lg->pending_notify) { |
| 188 | if (put_user(lg->pending_notify, user)) |
Rusty Russell | d7e28ff | 2007-07-19 01:49:23 -0700 | [diff] [blame] | 189 | return -EFAULT; |
Rusty Russell | 1504527 | 2007-10-22 11:24:10 +1000 | [diff] [blame] | 190 | return sizeof(lg->pending_notify); |
Rusty Russell | d7e28ff | 2007-07-19 01:49:23 -0700 | [diff] [blame] | 191 | } |
| 192 | |
Rusty Russell | bff672e | 2007-07-26 10:41:04 -0700 | [diff] [blame] | 193 | /* Check for signals */ |
Rusty Russell | d7e28ff | 2007-07-19 01:49:23 -0700 | [diff] [blame] | 194 | if (signal_pending(current)) |
| 195 | return -ERESTARTSYS; |
| 196 | |
| 197 | /* If Waker set break_out, return to Launcher. */ |
| 198 | if (lg->break_out) |
| 199 | return -EAGAIN; |
| 200 | |
Rusty Russell | bff672e | 2007-07-26 10:41:04 -0700 | [diff] [blame] | 201 | /* Check if there are any interrupts which can be delivered |
| 202 | * now: if so, this sets up the hander to be executed when we |
| 203 | * next run the Guest. */ |
Rusty Russell | d7e28ff | 2007-07-19 01:49:23 -0700 | [diff] [blame] | 204 | maybe_do_interrupt(lg); |
| 205 | |
Rusty Russell | bff672e | 2007-07-26 10:41:04 -0700 | [diff] [blame] | 206 | /* All long-lived kernel loops need to check with this horrible |
| 207 | * thing called the freezer. If the Host is trying to suspend, |
| 208 | * it stops us. */ |
Rusty Russell | d7e28ff | 2007-07-19 01:49:23 -0700 | [diff] [blame] | 209 | try_to_freeze(); |
| 210 | |
Rusty Russell | bff672e | 2007-07-26 10:41:04 -0700 | [diff] [blame] | 211 | /* Just make absolutely sure the Guest is still alive. One of |
| 212 | * those hypercalls could have been fatal, for example. */ |
Rusty Russell | d7e28ff | 2007-07-19 01:49:23 -0700 | [diff] [blame] | 213 | if (lg->dead) |
| 214 | break; |
| 215 | |
Rusty Russell | bff672e | 2007-07-26 10:41:04 -0700 | [diff] [blame] | 216 | /* If the Guest asked to be stopped, we sleep. The Guest's |
| 217 | * clock timer or LHCALL_BREAK from the Waker will wake us. */ |
Rusty Russell | d7e28ff | 2007-07-19 01:49:23 -0700 | [diff] [blame] | 218 | if (lg->halted) { |
| 219 | set_current_state(TASK_INTERRUPTIBLE); |
| 220 | schedule(); |
| 221 | continue; |
| 222 | } |
| 223 | |
Rusty Russell | bff672e | 2007-07-26 10:41:04 -0700 | [diff] [blame] | 224 | /* OK, now we're ready to jump into the Guest. First we put up |
| 225 | * the "Do Not Disturb" sign: */ |
Rusty Russell | d7e28ff | 2007-07-19 01:49:23 -0700 | [diff] [blame] | 226 | local_irq_disable(); |
| 227 | |
Jes Sorensen | 625efab | 2007-10-22 11:03:28 +1000 | [diff] [blame] | 228 | /* Actually run the Guest until something happens. */ |
| 229 | lguest_arch_run_guest(lg); |
Rusty Russell | bff672e | 2007-07-26 10:41:04 -0700 | [diff] [blame] | 230 | |
| 231 | /* Now we're ready to be interrupted or moved to other CPUs */ |
Rusty Russell | d7e28ff | 2007-07-19 01:49:23 -0700 | [diff] [blame] | 232 | local_irq_enable(); |
| 233 | |
Jes Sorensen | 625efab | 2007-10-22 11:03:28 +1000 | [diff] [blame] | 234 | /* Now we deal with whatever happened to the Guest. */ |
| 235 | lguest_arch_handle_trap(lg); |
Rusty Russell | d7e28ff | 2007-07-19 01:49:23 -0700 | [diff] [blame] | 236 | } |
Jes Sorensen | 625efab | 2007-10-22 11:03:28 +1000 | [diff] [blame] | 237 | |
Rusty Russell | bff672e | 2007-07-26 10:41:04 -0700 | [diff] [blame] | 238 | /* The Guest is dead => "No such file or directory" */ |
Rusty Russell | d7e28ff | 2007-07-19 01:49:23 -0700 | [diff] [blame] | 239 | return -ENOENT; |
| 240 | } |
| 241 | |
Rusty Russell | bff672e | 2007-07-26 10:41:04 -0700 | [diff] [blame] | 242 | /*H:000 |
| 243 | * Welcome to the Host! |
| 244 | * |
| 245 | * By this point your brain has been tickled by the Guest code and numbed by |
| 246 | * the Launcher code; prepare for it to be stretched by the Host code. This is |
| 247 | * the heart. Let's begin at the initialization routine for the Host's lg |
| 248 | * module. |
| 249 | */ |
Rusty Russell | d7e28ff | 2007-07-19 01:49:23 -0700 | [diff] [blame] | 250 | static int __init init(void) |
| 251 | { |
| 252 | int err; |
| 253 | |
Rusty Russell | bff672e | 2007-07-26 10:41:04 -0700 | [diff] [blame] | 254 | /* Lguest can't run under Xen, VMI or itself. It does Tricky Stuff. */ |
Rusty Russell | d7e28ff | 2007-07-19 01:49:23 -0700 | [diff] [blame] | 255 | if (paravirt_enabled()) { |
Glauber de Oliveira Costa | 5c55841 | 2008-01-17 22:32:50 -0200 | [diff] [blame^] | 256 | printk("lguest is afraid of being a guest\n"); |
Rusty Russell | d7e28ff | 2007-07-19 01:49:23 -0700 | [diff] [blame] | 257 | return -EPERM; |
| 258 | } |
| 259 | |
Rusty Russell | bff672e | 2007-07-26 10:41:04 -0700 | [diff] [blame] | 260 | /* First we put the Switcher up in very high virtual memory. */ |
Rusty Russell | d7e28ff | 2007-07-19 01:49:23 -0700 | [diff] [blame] | 261 | err = map_switcher(); |
| 262 | if (err) |
Rusty Russell | c18acd7 | 2007-10-22 11:03:35 +1000 | [diff] [blame] | 263 | goto out; |
Rusty Russell | d7e28ff | 2007-07-19 01:49:23 -0700 | [diff] [blame] | 264 | |
Rusty Russell | bff672e | 2007-07-26 10:41:04 -0700 | [diff] [blame] | 265 | /* Now we set up the pagetable implementation for the Guests. */ |
Rusty Russell | d7e28ff | 2007-07-19 01:49:23 -0700 | [diff] [blame] | 266 | err = init_pagetables(switcher_page, SHARED_SWITCHER_PAGES); |
Rusty Russell | c18acd7 | 2007-10-22 11:03:35 +1000 | [diff] [blame] | 267 | if (err) |
| 268 | goto unmap; |
Rusty Russell | bff672e | 2007-07-26 10:41:04 -0700 | [diff] [blame] | 269 | |
Rusty Russell | c18acd7 | 2007-10-22 11:03:35 +1000 | [diff] [blame] | 270 | /* We might need to reserve an interrupt vector. */ |
| 271 | err = init_interrupts(); |
| 272 | if (err) |
| 273 | goto free_pgtables; |
| 274 | |
Rusty Russell | bff672e | 2007-07-26 10:41:04 -0700 | [diff] [blame] | 275 | /* /dev/lguest needs to be registered. */ |
Rusty Russell | d7e28ff | 2007-07-19 01:49:23 -0700 | [diff] [blame] | 276 | err = lguest_device_init(); |
Rusty Russell | c18acd7 | 2007-10-22 11:03:35 +1000 | [diff] [blame] | 277 | if (err) |
| 278 | goto free_interrupts; |
Rusty Russell | bff672e | 2007-07-26 10:41:04 -0700 | [diff] [blame] | 279 | |
Jes Sorensen | 625efab | 2007-10-22 11:03:28 +1000 | [diff] [blame] | 280 | /* Finally we do some architecture-specific setup. */ |
| 281 | lguest_arch_host_init(); |
Rusty Russell | bff672e | 2007-07-26 10:41:04 -0700 | [diff] [blame] | 282 | |
| 283 | /* All good! */ |
Rusty Russell | d7e28ff | 2007-07-19 01:49:23 -0700 | [diff] [blame] | 284 | return 0; |
Rusty Russell | c18acd7 | 2007-10-22 11:03:35 +1000 | [diff] [blame] | 285 | |
| 286 | free_interrupts: |
| 287 | free_interrupts(); |
| 288 | free_pgtables: |
| 289 | free_pagetables(); |
| 290 | unmap: |
| 291 | unmap_switcher(); |
| 292 | out: |
| 293 | return err; |
Rusty Russell | d7e28ff | 2007-07-19 01:49:23 -0700 | [diff] [blame] | 294 | } |
| 295 | |
Rusty Russell | bff672e | 2007-07-26 10:41:04 -0700 | [diff] [blame] | 296 | /* Cleaning up is just the same code, backwards. With a little French. */ |
Rusty Russell | d7e28ff | 2007-07-19 01:49:23 -0700 | [diff] [blame] | 297 | static void __exit fini(void) |
| 298 | { |
| 299 | lguest_device_remove(); |
Rusty Russell | c18acd7 | 2007-10-22 11:03:35 +1000 | [diff] [blame] | 300 | free_interrupts(); |
Rusty Russell | d7e28ff | 2007-07-19 01:49:23 -0700 | [diff] [blame] | 301 | free_pagetables(); |
| 302 | unmap_switcher(); |
Rusty Russell | bff672e | 2007-07-26 10:41:04 -0700 | [diff] [blame] | 303 | |
Jes Sorensen | 625efab | 2007-10-22 11:03:28 +1000 | [diff] [blame] | 304 | lguest_arch_host_fini(); |
Rusty Russell | d7e28ff | 2007-07-19 01:49:23 -0700 | [diff] [blame] | 305 | } |
Jes Sorensen | 625efab | 2007-10-22 11:03:28 +1000 | [diff] [blame] | 306 | /*:*/ |
Rusty Russell | d7e28ff | 2007-07-19 01:49:23 -0700 | [diff] [blame] | 307 | |
Rusty Russell | bff672e | 2007-07-26 10:41:04 -0700 | [diff] [blame] | 308 | /* The Host side of lguest can be a module. This is a nice way for people to |
| 309 | * play with it. */ |
Rusty Russell | d7e28ff | 2007-07-19 01:49:23 -0700 | [diff] [blame] | 310 | module_init(init); |
| 311 | module_exit(fini); |
| 312 | MODULE_LICENSE("GPL"); |
| 313 | MODULE_AUTHOR("Rusty Russell <rusty@rustcorp.com.au>"); |