Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

kernel/kexec_core.c kernel_kexec() -> kernel_restart_prepare()

Type Parameter Key Value
PARAM_VALUE 0 cmd 5137218783456018432
BUF_SIZE 0 cmd 13
STR_LEN 0 cmd 12
TERMINATED 0 cmd 1
NOCHECK_CALL
LOCK2 global &system_transition_mutex
HALF_LOCKED2 global &luo_session_serialize_rwsem

kernel/reboot.c kernel_restart() -> kernel_restart_prepare()

Type Parameter Key Value
BUF_SIZE 0 cmd (-1),10,27,31,34,256
BUF_SIZE 0 cmd (-1),10,27,31,34,256
DATA_SOURCE 0 cmd $0
STR_LEN 0 cmd (-1),9,26,30,33
STR_LEN 0 cmd (-1),9,26,30,33
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &sc->state_mtx
HALF_LOCKED2 global &device_hotplug_lock
HALF_LOCKED2 global &system_transition_mutex