diff options
| author | Rusty Russell <rusty@rustcorp.com.au> | 2011-07-22 14:39:50 +0930 |
|---|---|---|
| committer | Rusty Russell <rusty@rustcorp.com.au> | 2011-07-22 14:39:50 +0930 |
| commit | 9f54288def3f92b7805eb6d4b1ddcd73ecf6e889 (patch) | |
| tree | bb46242a92e47112c2967354b3be0c6daecae7a7 /drivers/lguest/page_tables.c | |
| parent | 3c3ed482dc077a67903a58c9e1aedba1bb18c18a (diff) | |
| download | op-kernel-dev-9f54288def3f92b7805eb6d4b1ddcd73ecf6e889.zip op-kernel-dev-9f54288def3f92b7805eb6d4b1ddcd73ecf6e889.tar.gz | |
lguest: update comments
Also removes a long-unused #define and an extraneous semicolon.
Signed-off-by: Rusty Russell <rusty@rustcorp.com.au>
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 0002622..3b62be16 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) } /* - * These functions are just like the above two, except they access the Guest + * These functions are just like the above, except they access the Guest * page tables. Hence they return a Guest address. */ 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, #endif /*:*/ -/*M:014 +/*M:007 * get_pfn is slow: we could probably try to grab batches of pages here as * an optimization (ie. pre-faulting). :*/ |
