On 9/12/20 1:14 AM, Alejandro Colomar wrote:
> Signed-off-by: Alejandro Colomar <colomar.6.4.3@xxxxxxxxx>
Thanks, Alex. Patch applied.
Cheers,
Michael
> ---
> man2/userfaultfd.2 | 7 ++++---
> 1 file changed, 4 insertions(+), 3 deletions(-)
>
> diff --git a/man2/userfaultfd.2 b/man2/userfaultfd.2
> index 126d4a854..c7e42804a 100644
> --- a/man2/userfaultfd.2
> +++ b/man2/userfaultfd.2
> @@ -566,6 +566,7 @@ Read address 0x7fd30106ec0f in main(): C
> Licensed under the GNU General Public License version 2 or later.
> */
> #define _GNU_SOURCE
> +#include <inttypes.h>
> #include <sys/types.h>
> #include <stdio.h>
> #include <linux/userfaultfd.h>
> @@ -650,8 +651,8 @@ fault_handler_thread(void *arg)
> /* Display info about the page\-fault event */
>
> printf(" UFFD_EVENT_PAGEFAULT event: ");
> - printf("flags = %llx; ", msg.arg.pagefault.flags);
> - printf("address = %llx\en", msg.arg.pagefault.address);
> + printf("flags = %"PRIx64"; ", msg.arg.pagefault.flags);
> + printf("address = %"PRIx64"\en", msg.arg.pagefault.address);
>
> /* Copy the page pointed to by \(aqpage\(aq into the faulting
> region. Vary the contents that are copied in, so that it
> @@ -673,7 +674,7 @@ fault_handler_thread(void *arg)
> if (ioctl(uffd, UFFDIO_COPY, &uffdio_copy) == \-1)
> errExit("ioctl\-UFFDIO_COPY");
>
> - printf(" (uffdio_copy.copy returned %lld)\en",
> + printf(" (uffdio_copy.copy returned %"PRId64")\en",
> uffdio_copy.copy);
> }
> }
>
--
Michael Kerrisk
Linux man-pages maintainer; http://www.kernel.org/doc/man-pages/
Linux/UNIX System Programming Training: http://man7.org/training/
