Hi!
fanotify01.c:115: BROK: fanotify_mark (6, FAN_MARK_ADD, FAN_ACCESS | FAN_MARK_INODE | FAN_MODIFY | FAN_CLOSE | FAN_OPEN, AT_FDCWD, fs_mnt/tfile_19115) failed: EFAULT (14)
Looking at these failures we do not pass anything that may cause EFAULT, the only pointer we pass is the path at the end but that thing is null terminated properly. In a case of fanotify09.c it's even constant string.