diff options
Diffstat (limited to 'drivers/lguest/lg.h')
-rw-r--r-- | drivers/lguest/lg.h | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/drivers/lguest/lg.h b/drivers/lguest/lg.h index 295df06e6590..2eef40be4c04 100644 --- a/drivers/lguest/lg.h +++ b/drivers/lguest/lg.h | |||
@@ -14,11 +14,10 @@ | |||
14 | 14 | ||
15 | #include <asm/lguest.h> | 15 | #include <asm/lguest.h> |
16 | 16 | ||
17 | void free_pagetables(void); | ||
18 | int init_pagetables(struct page **switcher_page, unsigned int pages); | ||
19 | |||
20 | struct pgdir { | 17 | struct pgdir { |
21 | unsigned long gpgdir; | 18 | unsigned long gpgdir; |
19 | bool switcher_mapped; | ||
20 | int last_host_cpu; | ||
22 | pgd_t *pgdir; | 21 | pgd_t *pgdir; |
23 | }; | 22 | }; |
24 | 23 | ||
@@ -124,6 +123,7 @@ bool lguest_address_ok(const struct lguest *lg, | |||
124 | unsigned long addr, unsigned long len); | 123 | unsigned long addr, unsigned long len); |
125 | void __lgread(struct lg_cpu *, void *, unsigned long, unsigned); | 124 | void __lgread(struct lg_cpu *, void *, unsigned long, unsigned); |
126 | void __lgwrite(struct lg_cpu *, unsigned long, const void *, unsigned); | 125 | void __lgwrite(struct lg_cpu *, unsigned long, const void *, unsigned); |
126 | extern struct page **lg_switcher_pages; | ||
127 | 127 | ||
128 | /*H:035 | 128 | /*H:035 |
129 | * Using memory-copy operations like that is usually inconvient, so we | 129 | * Using memory-copy operations like that is usually inconvient, so we |