diff options
Diffstat (limited to 'drivers/lguest/page_tables.c')
-rw-r--r-- | drivers/lguest/page_tables.c | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/drivers/lguest/page_tables.c b/drivers/lguest/page_tables.c index cd047e81cd63..b7a924ace684 100644 --- a/drivers/lguest/page_tables.c +++ b/drivers/lguest/page_tables.c | |||
@@ -15,6 +15,11 @@ | |||
15 | #include <asm/tlbflush.h> | 15 | #include <asm/tlbflush.h> |
16 | #include "lg.h" | 16 | #include "lg.h" |
17 | 17 | ||
18 | /*M:008 We hold reference to pages, which prevents them from being swapped. | ||
19 | * It'd be nice to have a callback in the "struct mm_struct" when Linux wants | ||
20 | * to swap out. If we had this, and a shrinker callback to trim PTE pages, we | ||
21 | * could probably consider launching Guests as non-root. :*/ | ||
22 | |||
18 | /*H:300 | 23 | /*H:300 |
19 | * The Page Table Code | 24 | * The Page Table Code |
20 | * | 25 | * |