Open Menu /

Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 10 files:

Smatch caller information:

drivers/watchdog/softdog.c reboot_kthread_fn() -> kernel_restart()

Type Parameter Key Value
NOCHECK_CALL

lib/kunit/executor.c kunit_handle_shutdown() -> kernel_restart()

Type Parameter Key Value
PARAM_VALUE 0 cmd 0
NOCHECK_CALL

drivers/firmware/arm_scmi/scmi_power_control.c scmi_request_forceful_transition() -> kernel_restart()

Type Parameter Key Value
PARAM_VALUE 0 cmd 0
NOCHECK_CALL
LOCK2 &sc->state_mtx
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct scmi_syspower_conf)->state_mtx

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

Type Parameter Key Value
PARAM_VALUE 0 cmd 0
NS_CAPABLE 0 22
NOCHECK_CALL
LOCK2 global &system_transition_mutex

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

Type Parameter Key Value
PARAM_VALUE 0 cmd 4096-ptr_max
BUF_SIZE 0 cmd 256
NS_CAPABLE 0 22
TERMINATED 0 cmd 1
NOCHECK_CALL
LOCK2 global &system_transition_mutex

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

Type Parameter Key Value
PARAM_VALUE 0 cmd 0
NS_CAPABLE 0 22
NOCHECK_CALL
LOCK2 global &system_transition_mutex

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

Type Parameter Key Value
PARAM_VALUE 0 cmd 4096-ptr_max
BUF_SIZE 0 cmd 256
NS_CAPABLE 0 22
TERMINATED 0 cmd 1
NOCHECK_CALL
LOCK2 global &system_transition_mutex

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

Type Parameter Key Value
PARAM_VALUE 0 cmd 0
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

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

Type Parameter Key Value
PARAM_VALUE 0 cmd 0
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

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

Type Parameter Key Value
PARAM_VALUE 0 cmd 0
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/power/reset/linkstation-poweroff.c linkstation_poweroff() -> kernel_restart()

Type Parameter Key Value
PARAM_VALUE 0 cmd 2210964403978698752
BUF_SIZE 0 cmd 10
STR_LEN 0 cmd 9
TERMINATED 0 cmd 1
NOCHECK_CALL

kernel/power/hibernate.c power_down() -> kernel_restart()

Type Parameter Key Value
PARAM_VALUE 0 cmd 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &device_hotplug_lock
LOCK2 global &system_transition_mutex
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 global &autosleep_lock

drivers/spi/spi-slave-system-control.c spi_slave_system_control_complete() -> kernel_restart()

Type Parameter Key Value
PARAM_VALUE 0 cmd 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &ctlr->bus_lock_spinlock
HALF_LOCKED2 &ctlr->io_mutex
HALF_LOCKED2 &data->lock
HALF_LOCKED2 flags

drivers/memory/emif.c emif_threaded_isr() -> kernel_restart()

Type Parameter Key Value
PARAM_VALUE 0 cmd 4800057827163545600
BUF_SIZE 0 cmd 34
STR_LEN 0 cmd 33
TERMINATED 0 cmd 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-verity-target.c restart_io_error() -> kernel_restart()

Type Parameter Key Value
PARAM_VALUE 0 cmd 8739267531787694080
BUF_SIZE 0 cmd 31
STR_LEN 0 cmd 30
TERMINATED 0 cmd 1
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/md/dm-verity-target.c verity_handle_err() -> kernel_restart()

Type Parameter Key Value
PARAM_VALUE 0 cmd 775137179911159808
BUF_SIZE 0 cmd 27
STR_LEN 0 cmd 26
TERMINATED 0 cmd 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL