LDP
/
man-pages
mirror of https://github.com/mkerrisk/man-pages
0
1
Fork 0
Code Releases Activity

userfaultfd.2: Use 'PRIx64' rather than "%llx" when printing 64-bit fixed-width types 

Signed-off-by: Alejandro Colomar <colomar.6.4.3@gmail.com>
Signed-off-by: Michael Kerrisk <mtk.manpages@gmail.com>
This commit is contained in:
Alejandro Colomar 2020-09-12 01:14:07 +02:00 committed by Michael Kerrisk
parent adb2084109
commit f6fbffeae5
1 changed files with 4 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
man2/userfaultfd.2
View File

@ -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);
}
}