diff options
Diffstat (limited to 'drivers/lguest/page_tables.c')
-rw-r--r-- | drivers/lguest/page_tables.c | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/drivers/lguest/page_tables.c b/drivers/lguest/page_tables.c index 1b0ba09b1269..f9ca50d80466 100644 --- a/drivers/lguest/page_tables.c +++ b/drivers/lguest/page_tables.c | |||
@@ -1,5 +1,11 @@ | |||
1 | /* Shadow page table operations. | 1 | /*P:700 The pagetable code, on the other hand, still shows the scars of |
2 | * Copyright (C) Rusty Russell IBM Corporation 2006. | 2 | * previous encounters. It's functional, and as neat as it can be in the |
3 | * circumstances, but be wary, for these things are subtle and break easily. | ||
4 | * The Guest provides a virtual to physical mapping, but we can neither trust | ||
5 | * it nor use it: we verify and convert it here to point the hardware to the | ||
6 | * actual Guest pages when running the Guest. :*/ | ||
7 | |||
8 | /* Copyright (C) Rusty Russell IBM Corporation 2006. | ||
3 | * GPL v2 and any later version */ | 9 | * GPL v2 and any later version */ |
4 | #include <linux/mm.h> | 10 | #include <linux/mm.h> |
5 | #include <linux/types.h> | 11 | #include <linux/types.h> |