diff options
Diffstat (limited to 'drivers/lguest/page_tables.c')
-rw-r--r-- | drivers/lguest/page_tables.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/drivers/lguest/page_tables.c b/drivers/lguest/page_tables.c index 00026222bde8..3b62be160a6e 100644 --- a/drivers/lguest/page_tables.c +++ b/drivers/lguest/page_tables.c | |||
@@ -155,7 +155,7 @@ static pte_t *spte_addr(struct lg_cpu *cpu, pgd_t spgd, unsigned long vaddr) | |||
155 | } | 155 | } |
156 | 156 | ||
157 | /* | 157 | /* |
158 | * These functions are just like the above two, except they access the Guest | 158 | * These functions are just like the above, except they access the Guest |
159 | * page tables. Hence they return a Guest address. | 159 | * page tables. Hence they return a Guest address. |
160 | */ | 160 | */ |
161 | static unsigned long gpgd_addr(struct lg_cpu *cpu, unsigned long vaddr) | 161 | static unsigned long gpgd_addr(struct lg_cpu *cpu, unsigned long vaddr) |
@@ -195,7 +195,7 @@ static unsigned long gpte_addr(struct lg_cpu *cpu, | |||
195 | #endif | 195 | #endif |
196 | /*:*/ | 196 | /*:*/ |
197 | 197 | ||
198 | /*M:014 | 198 | /*M:007 |
199 | * get_pfn is slow: we could probably try to grab batches of pages here as | 199 | * get_pfn is slow: we could probably try to grab batches of pages here as |
200 | * an optimization (ie. pre-faulting). | 200 | * an optimization (ie. pre-faulting). |
201 | :*/ | 201 | :*/ |