Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/acpi/acpi_tad.c acpi_tad_rtc_set_alarm() -> __acpi_tad_wake_set()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->bus 0,4096-ptr_max
PARAM_VALUE 0 dev->class 0,4096-ptr_max
PARAM_VALUE 0 dev->power.request 0-4
PARAM_VALUE 0 dev->power.runtime_error s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE 0 dev->power.wakeirq 0,4096-ptr_max
PARAM_VALUE 0 dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 dev->type 0,4096-ptr_max
PARAM_VALUE 1 method 4126622088032542720
PARAM_VALUE 2 timer_id 0
PARAM_VALUE 3 value 1-u32max
BUF_SIZE 1 method 5
DATA_SOURCE 0 dev $0
STR_LEN 0 dev 4
TERMINATED 1 method 1
RX_PATH
TASK_NOT_RUNNING
LOCK2 &rtc->ops_lock
TYPE_LOCK (struct rtc_device)->ops_lock

drivers/acpi/acpi_tad.c acpi_tad_rtc_set_alarm() -> __acpi_tad_wake_set()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->bus 0,4096-ptr_max
PARAM_VALUE 0 dev->class 0,4096-ptr_max
PARAM_VALUE 0 dev->power.request 0-4
PARAM_VALUE 0 dev->power.runtime_error s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE 0 dev->power.wakeirq 0,4096-ptr_max
PARAM_VALUE 0 dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 dev->type 0,4096-ptr_max
PARAM_VALUE 1 method 4126622088032542720
PARAM_VALUE 2 timer_id 1
PARAM_VALUE 3 value 1-u32max
BUF_SIZE 1 method 5
DATA_SOURCE 0 dev $0
STR_LEN 0 dev 4
TERMINATED 1 method 1
RX_PATH
TASK_NOT_RUNNING
LOCK2 &rtc->ops_lock
TYPE_LOCK (struct rtc_device)->ops_lock

drivers/acpi/acpi_tad.c acpi_tad_rtc_set_alarm() -> __acpi_tad_wake_set()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->bus 0,4096-ptr_max
PARAM_VALUE 0 dev->class 0,4096-ptr_max
PARAM_VALUE 0 dev->power.request 0-4
PARAM_VALUE 0 dev->power.runtime_error s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE 0 dev->power.wakeirq 0,4096-ptr_max
PARAM_VALUE 0 dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 dev->type 0,4096-ptr_max
PARAM_VALUE 1 method 4126622088032542720
PARAM_VALUE 2 timer_id 0
PARAM_VALUE 3 value u32max
BUF_SIZE 1 method 5
DATA_SOURCE 0 dev $0
STR_LEN 0 dev 4
TERMINATED 1 method 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &rtc->ops_lock
TYPE_LOCK (struct rtc_device)->ops_lock

drivers/acpi/acpi_tad.c acpi_tad_wake_set() -> __acpi_tad_wake_set()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->bus 0,4096-ptr_max
PARAM_VALUE 0 dev->class 0,4096-ptr_max
PARAM_VALUE 0 dev->power.request 0-4
PARAM_VALUE 0 dev->power.runtime_error s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE 0 dev->power.wakeirq 0,4096-ptr_max
PARAM_VALUE 0 dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 dev->type 0,4096-ptr_max
PARAM_VALUE 1 method 4126622088032542720,6738100465264205824
PARAM_VALUE 2 timer_id 0-1
BUF_SIZE 1 method 5
BUF_SIZE 1 method 5
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 method $1
DATA_SOURCE 2 timer_id $2
DATA_SOURCE 3 value $3
STR_LEN 0 dev 4
STR_LEN 0 dev 4
TERMINATED 1 method 1
HARD_MAX 2 timer_id 1
RX_PATH
TASK_NOT_RUNNING
USER_DATA 3 value 0-4294967294
HALF_LOCKED2 &of->mutex