Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

kernel/time/ntp.c update_rtc() -> rtc_class_close()

Type Parameter Key Value
PARAM_VALUE 0 rtc 4096-ptr_max
PARAM_VALUE 0 rtc->ops 0,4096-ptr_max
PARAM_VALUE 0 rtc->owner 0,4096-ptr_max
PARAM_VALUE 0 rtc->owner->refcnt.counter 0-s32max
PARAM_VALUE 0 rtc->owner->state 0-1,3-u32max
DATA_SOURCE 0 rtc r rtc_class_open
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

kernel/power/suspend_test.c test_suspend() -> rtc_class_close()

Type Parameter Key Value
PARAM_VALUE 0 rtc 4096-ptr_max
PARAM_VALUE 0 rtc->aie_timer.enabled 0-1
PARAM_VALUE 0 rtc->aie_timer.period 0
PARAM_VALUE 0 rtc->ops_lock.dep_map->name 0-255
PARAM_VALUE 0 rtc->ops_lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 rtc->ops_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 rtc->ops_lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 rtc->ops_lock.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 rtc->ops_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 rtc->owner 0,4096-ptr_max
PARAM_VALUE 0 rtc->owner->refcnt.counter 0-s32max
PARAM_VALUE 0 rtc->owner->state 0-1,3-u32max
DATA_SOURCE 0 rtc r rtc_class_open
NOCHECK_CALL