diff options
-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 74b4cf2a6c41..275f23c2deb4 100644 --- a/drivers/lguest/page_tables.c +++ b/drivers/lguest/page_tables.c | |||
@@ -178,8 +178,8 @@ static void release_pte(pte_t pte) | |||
178 | 178 | ||
179 | static void check_gpte(struct lg_cpu *cpu, pte_t gpte) | 179 | static void check_gpte(struct lg_cpu *cpu, pte_t gpte) |
180 | { | 180 | { |
181 | if ((pte_flags(gpte) & (_PAGE_PWT|_PAGE_PSE)) | 181 | if ((pte_flags(gpte) & _PAGE_PSE) || |
182 | || pte_pfn(gpte) >= cpu->lg->pfn_limit) | 182 | pte_pfn(gpte) >= cpu->lg->pfn_limit) |
183 | kill_guest(cpu, "bad page table entry"); | 183 | kill_guest(cpu, "bad page table entry"); |
184 | } | 184 | } |
185 | 185 | ||