Symbol: userfaultfd_is_initialized
fs/userfaultfd.c
1166
if (!userfaultfd_is_initialized(ctx))
fs/userfaultfd.c
2042
if (cmd != UFFDIO_API && !userfaultfd_is_initialized(ctx))
fs/userfaultfd.c
945
if (!userfaultfd_is_initialized(ctx))