Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

mm/userfaultfd.c userfaultfd_ioctl() -> userfaultfd_is_initialized()

Type Parameter Key Value
BUF_SIZE 0 ctx s32min-(-2),1-s32max
BUF_SIZE 0 ctx s32min-(-2),1-s32max

mm/userfaultfd.c userfaultfd_poll() -> userfaultfd_is_initialized()

Type Parameter Key Value
BUF_SIZE 0 ctx s32min-(-2),1-s32max
BUF_SIZE 0 ctx s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &kvm->irq_srcu
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &vm->irqfds_lock
HALF_LOCKED2 global &irqfds_srcu

mm/userfaultfd.c userfaultfd_read_iter() -> userfaultfd_is_initialized()

Type Parameter Key Value
BUF_SIZE 0 ctx s32min-(-2),1-s32max
BUF_SIZE 0 ctx s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &pool->lock