Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/platform/x86/x86-android-tablets/lenovo.c lenovo_yoga_tab2_830_1050_power_off() -> (struct efi)->reset_system()

Type Parameter Key Value
PARAM_VALUE 0 reset_type 2
PARAM_VALUE 1 status 0
PARAM_VALUE 2 data_size 0
PARAM_VALUE 3 data 0
NOCHECK_CALL

drivers/firmware/efi/reboot.c efi_power_off() -> (struct efi)->reset_system()

Type Parameter Key Value
PARAM_VALUE 0 reset_type 2
PARAM_VALUE 1 status 0
PARAM_VALUE 2 data_size 0
PARAM_VALUE 3 data 0
NOCHECK_CALL

drivers/firmware/efi/reboot.c efi_reboot() -> (struct efi)->reset_system()

Type Parameter Key Value
PARAM_VALUE 1 status 0
PARAM_VALUE 2 data_size 0
PARAM_VALUE 3 data 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 irq

drivers/firmware/efi/test/efi_test.c efi_runtime_reset_system() -> (struct efi)->reset_system()

Type Parameter Key Value
PARAM_VALUE 2 data_size 0-s32max
PARAM_VALUE 3 data 0-ptr_max
BUF_SIZE 3 data 0-u64max
CAPPED_DATA 2 data_size 1
CAPPED_DATA 2 data_size 1
NOCHECK_CALL
USER_DATA 0 reset_type s32min-s32max
USER_DATA 1 status 0-u64max
USER_DATA 2 data_size 0-s32max[c]
USER_DATA 3 *data 0-u16max
BYTE_COUNT 3 ==data2 8050
USER_PTR 3 data