tree e2b0b9e1160f2ede7daa8015792d359a1ab44729
parent 4ed023ce2a39ab5812d33cf4d819def168965a7f
author Dr. David Alan Gilbert <dgilbert@redhat.com> 1446747077 +0000
committer Juan Quintela <quintela@redhat.com> 1447164028 +0100

Postcopy; Handle userfault requests

userfaultfd is a Linux syscall that gives an fd that receives a stream
of notifications of accesses to pages registered with it and allows
the program to acknowledge those stalls and tell the accessing
thread to carry on.

We convert the requests from the kernel into messages back to the
source asking for the pages.

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