Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/watchdog/intel-mid_wdt.c wdt_ping() -> wdt_command()

Type Parameter Key Value
PARAM_VALUE 1 sub 2
PARAM_VALUE 2 in 0
PARAM_VALUE 3 inlen 0
PARAM_VALUE 4 size 0
BUF_SIZE 0 mid s32min-(-2),1-s32max
BUF_SIZE 0 mid s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
UNITS 0 mid unit_byte
HALF_LOCKED2 &wd_data->lock

drivers/watchdog/intel-mid_wdt.c wdt_start() -> wdt_command()

Type Parameter Key Value
PARAM_VALUE 1 sub 0
PARAM_VALUE 2 in 3577614535630442496
PARAM_VALUE 3 inlen 8
PARAM_VALUE 4 size 2
BUF_SIZE 0 mid s32min-(-2),1-s32max
BUF_SIZE 0 mid s32min-(-2),1-s32max
BUF_SIZE 2 in 8
RX_PATH
TASK_NOT_RUNNING
UNITS 0 mid unit_byte
UNITS 3 inlen unit_byte
HALF_LOCKED2 &wd_data->lock

drivers/watchdog/intel-mid_wdt.c wdt_stop() -> wdt_command()

Type Parameter Key Value
PARAM_VALUE 1 sub 1
PARAM_VALUE 2 in 0
PARAM_VALUE 3 inlen 0
PARAM_VALUE 4 size 0
BUF_SIZE 0 mid s32min-(-2),1-s32max
BUF_SIZE 0 mid s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
UNITS 0 mid unit_byte