Defined in 2 files as a prototype:

Defined in 1 files as a member:

Defined in 12 files as a function:

Referenced in 8 files:

Smatch caller information:

arch/x86/kernel/reboot.c native_machine_halt() -> machine_shutdown()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

arch/x86/kernel/reboot.c native_machine_power_off() -> machine_shutdown()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &sc->state_mtx
HALF_LOCKED2 global &device_hotplug_lock
HALF_LOCKED2 global &system_transition_mutex

arch/x86/kernel/reboot.c native_machine_restart() -> machine_shutdown()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type Parameter Key Value
NOCHECK_CALL
LOCK2 global &system_transition_mutex
HALF_LOCKED2 global &luo_session_serialize_rwsem