Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 6 files:

Smatch caller information:

drivers/rtc/rtc-jz4740.c jz4740_rtc_power_off() -> kernel_halt()

Type Parameter Key Value
NOCHECK_CALL

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

Type Parameter Key Value
NOCHECK_CALL

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

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

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

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

drivers/platform/mellanox/mlx-platform.c mlxplat_poweroff() -> kernel_halt()

Type Parameter Key Value
NOCHECK_CALL

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

Type Parameter Key Value
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_halt()

Type Parameter Key Value
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