Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 7 files:

Smatch caller information:

fs/coredump.c cn_print_exe_file() -> get_mm_exe_file()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
UNITS 0 mm unit_byte

kernel/fork.c dup_mm_exe_file() -> get_mm_exe_file()

Type Parameter Key Value
PARAM_VALUE 0 mm 4096-ptr_max
PARAM_VALUE 0 mm->mmap_lock.dep_map->name 0-255
PARAM_VALUE 0 mm->mmap_lock.first_waiter->list.next 2624917664208203776
PARAM_VALUE 0 mm->mmap_lock.first_waiter->list.prev 2624917664208203776
PARAM_VALUE 0 mm->mmap_lock.first_waiter->type 0-1
PARAM_VALUE 0 mm->mmap_lock.osq.tail.counter 0-s32max
DATA_SOURCE 0 mm $1
RX_PATH
TASK_NOT_RUNNING
UNITS 0 mm unit_byte
LOCK2 &mm->mmap_lock
LOCK2 0 &mm->mmap_lock
TYPE_LOCK (struct mm_struct)->mmap_lock

kernel/fork.c get_task_exe_file() -> get_mm_exe_file()

Type Parameter Key Value
PARAM_VALUE 0 mm 1-u64max
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
UNITS 0 mm unit_byte
LOCK2 &task->alloc_lock
HALF_LOCKED2 &task->signal->exec_update_lock
TYPE_LOCK (struct task_struct)->alloc_lock

kernel/fork.c replace_mm_exe_file() -> get_mm_exe_file()

Type Parameter Key Value
DATA_SOURCE 0 mm $0
UNITS 0 mm unit_byte

kernel/audit.c audit_log_d_path_exe() -> get_mm_exe_file()

Type Parameter Key Value
PARAM_VALUE 0 mm 1-u64max
DATA_SOURCE 0 mm $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS 0 mm unit_byte

security/landlock/domain.c get_current_exe() -> get_mm_exe_file()

Type Parameter Key Value
PARAM_VALUE 0 mm 1-u64max
UNITS 0 mm unit_byte

kernel/audit_watch.c audit_exe_compare() -> get_mm_exe_file()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
UNITS 0 mm unit_byte
LOCK2 rcu_read

security/tomoyo/util.c tomoyo_get_exe() -> get_mm_exe_file()

Type Parameter Key Value
PARAM_VALUE 0 mm 1-u64max
UNITS 0 mm unit_byte
LOCK2 &head->io_sem
LOCK2 global &tomoyo_ss
TYPE_LOCK (struct tomoyo_io_buffer)->io_sem