Re: [PATCH 3/3] userfaultfd: non-cooperative: allow synchronous EVENT_REMOVE

[Pavel Emelyanov]

> @@ -52,6 +53,7 @@
>  #define _UFFDIO_WAKE                 (0x02)
>  #define _UFFDIO_COPY                 (0x03)
>  #define _UFFDIO_ZEROPAGE             (0x04)
> +#define _UFFDIO_WAKE_SYNC_EVENT              (0x05)

Excuse my ignorance, but what's the difference between UFFDIO_WAKE and 
UFFDIO_WAKE_SYNC_EVENT?

-- Pavel