Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/power/reset/reboot-mode.c reboot_mode_register() -> reboot_mode_create_device()

Type Parameter Key Value
PARAM_VALUE 0 reboot 4096-ptr_max
PARAM_VALUE 0 reboot->dev 4096-ptr_max
PARAM_VALUE 0 reboot->dev->of_node 4096-ptr_max
PARAM_VALUE 0 reboot->head.next 4096-ptr_max
PARAM_VALUE 0 reboot->head.next->next 4096-ptr_max
PARAM_VALUE 0 reboot->head.prev 4096-ptr_max
PARAM_VALUE 0 reboot->head.prev->next 4096-ptr_max
PARAM_VALUE 0 reboot->head.prev->prev 4096-ptr_max
PARAM_VALUE 0 reboot->reboot_notifier.next 0,4096-ptr_max
PARAM_VALUE 0 reboot->reboot_notifier.notifier_call 3830930016378413056
PARAM_VALUE 0 reboot->write 5797820838043942912,8593565154867798016
CAPPED_DATA 0 &reboot->reboot_notifier 1
DATA_SOURCE 0 reboot $0
MEM_ZERO 0 reboot
RX_PATH
TASK_NOT_RUNNING