| PARAM_VALUE |
0 |
rtc |
4096-ptr_max |
| PARAM_VALUE |
0 |
rtc->offset_secs |
s64min-(-1),1-s64max |
| PARAM_VALUE |
0 |
rtc->ops |
4096-ptr_max |
| PARAM_VALUE |
0 |
rtc->ops->read_time |
1-u64max |
| 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.osq.tail.counter |
0-s32max |
| PARAM_VALUE |
1 |
alarm |
2412595738338004992 |
| CAPPED_DATA |
0 |
rtc->start_secs |
1 |
| DATA_SOURCE |
0 |
rtc |
$0 |
| DATA_SOURCE |
1 |
alarm |
$1 |
