aboutsummaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorBoris Ostrovsky <boris.ostrovsky@oracle.com>2013-04-11 13:59:52 -0400
committerIngo Molnar <mingo@kernel.org>2013-04-12 07:19:19 +0200
commit26564600c9e88c6572a5e6ef5ae9121907edfb7f (patch)
treed25db287b106e4417667beafb2f3d39012accc20 /Makefile
parent18699739b60cb60230153ff5475b2ba92be185f9 (diff)
downloadvexpress-lsk-26564600c9e88c6572a5e6ef5ae9121907edfb7f.tar.gz
x86/mm: Flush lazy MMU when DEBUG_PAGEALLOC is set
When CONFIG_DEBUG_PAGEALLOC is set page table updates made by kernel_map_pages() are not made visible (via TLB flush) immediately if lazy MMU is on. In environments that support lazy MMU (e.g. Xen) this may lead to fatal page faults, for example, when zap_pte_range() needs to allocate pages in __tlb_remove_page() -> tlb_next_batch(). Signed-off-by: Boris Ostrovsky <boris.ostrovsky@oracle.com> Cc: konrad.wilk@oracle.com Link: http://lkml.kernel.org/r/1365703192-2089-1-git-send-email-boris.ostrovsky@oracle.com Signed-off-by: Ingo Molnar <mingo@kernel.org>
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions