x86/mpx: tweak header name
authorMichael S. Tsirkin <mst@redhat.com>
Fri, 8 Feb 2019 06:02:53 +0000 (01:02 -0500)
committerArnd Bergmann <arnd@arndb.de>
Mon, 18 Feb 2019 16:49:30 +0000 (17:49 +0100)
commite844f2c11080ab5f3e3fa77ca09a7719d256a98a
treed4e3280e160ab26db48d8e1ca9a1aebcd0d39c01
parentbfeffd155283772bbe78c6a05dec7c0128ee500c
x86/mpx: tweak header name

Use linux/mman.h to make sure we get all mmap flags we need.

Signed-off-by: Michael S. Tsirkin <mst@redhat.com>
Signed-off-by: Arnd Bergmann <arnd@arndb.de>
arch/x86/mm/mpx.c