Defined in 2 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/futex/core.c futex_mm_init() -> futex_robust_unlock_init_mm()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL