tree d68e3b1a3ea343fcff627980d8731c6c6e0a4c19
parent a3e06c3d13b77a2534894dcebbc6ac08568dbe73
author Dr. David Alan Gilbert <dgilbert@redhat.com> 1446747042 +0000
committer Juan Quintela <quintela@redhat.com> 1447163509 +0100

Add Linux userfaultfd.h header

Postcopy uses the userfaultfd.h feature in the Linux kernel; include
the header.

(In early versions of the patch series we had this, and then we dropped
this by only including it if the kernel headers defined the syscall
number; however 1842bdfd added the syscall definition to our
headers, which means we can't tell if the kernel has it or not)

Signed-off-by: Dr. David Alan Gilbert <dgilbert@redhat.com>
Reviewed-by: Juan Quintela <quintela@redhat.com>
Signed-off-by: Juan Quintela <quintela@redhat.com>