Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/char/misc_minor_kunit.c miscdev_test_collision() -> miscdev_test_can_open()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | test | 4096-ptr_max |
| PARAM_VALUE | 0 | test->last_seen.file | 127441505849921536,8090938237943001088 |
| PARAM_VALUE | 0 | test->last_seen.line | 99,456,465 |
| PARAM_VALUE | 0 | test->log->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | test->status | 1 |
| PARAM_VALUE | 1 | misc | 4096-ptr_max |
| BUF_SIZE | 0 | test->last_seen.file | (-1),32 |
| DATA_SOURCE | 0 | test | $0 |
| FUZZY_MAX | 0 | test->last_seen.line | 465 |
| STR_LEN | 0 | test->last_seen.file | (-1),31 |
| NOCHECK_CALL |
drivers/char/misc_minor_kunit.c miscdev_test_collision_reverse() -> miscdev_test_can_open()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | test->last_seen.file | 127441505849921536,8090938237943001088 |
| PARAM_VALUE | 0 | test->last_seen.line | 99,509 |
| PARAM_VALUE | 1 | misc | 4096-ptr_max |
| BUF_SIZE | 0 | test->last_seen.file | (-1),32 |
| DATA_SOURCE | 0 | test | $0 |
| FUZZY_MAX | 0 | test->last_seen.line | 509 |
| STR_LEN | 0 | test->last_seen.file | (-1),31 |
| NOCHECK_CALL |
drivers/char/misc_minor_kunit.c miscdev_test_conflict() -> miscdev_test_can_open()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | test | 4096-ptr_max |
| PARAM_VALUE | 0 | test->last_seen.file | 127441505849921536,8090938237943001088 |
| PARAM_VALUE | 0 | test->last_seen.line | 99,543 |
| PARAM_VALUE | 0 | test->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | test->log->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | test->status | 1 |
| PARAM_VALUE | 1 | misc | 3036129767122018304 |
| PARAM_VALUE | 1 | misc->fops | 7385357050507550720 |
| PARAM_VALUE | 1 | misc->groups | 0 |
| PARAM_VALUE | 1 | misc->list.next | 4096-ptr_max |
| PARAM_VALUE | 1 | misc->list.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | misc->minor | 0-s32max |
| PARAM_VALUE | 1 | misc->mode | 0 |
| PARAM_VALUE | 1 | misc->name | 9095942055718907904 |
| PARAM_VALUE | 1 | misc->nodename | 0 |
| PARAM_VALUE | 1 | misc->parent | 0 |
| PARAM_VALUE | 1 | misc->this_device | 4096-ptr_max |
| BUF_SIZE | 0 | test->last_seen.file | (-1),32 |
| DATA_SOURCE | 0 | test | $0 |
| FUZZY_MAX | 0 | test->last_seen.line | 543 |
| STR_LEN | 0 | test->last_seen.file | (-1),31 |
| TERMINATED | 1 | misc->name | 1 |
| NOCHECK_CALL |
drivers/char/misc_minor_kunit.c miscdev_test_dynamic_basic() -> miscdev_test_can_open()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | test | 4096-ptr_max |
| PARAM_VALUE | 0 | test->last_seen.file | 127441505849921536,8090938237943001088 |
| PARAM_VALUE | 0 | test->last_seen.line | 99,215 |
| PARAM_VALUE | 0 | test->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | test->log->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | test->status | 1 |
| PARAM_VALUE | 1 | misc | 5719021826687008768 |
| PARAM_VALUE | 1 | misc->fops | 7385357050507550720 |
| PARAM_VALUE | 1 | misc->groups | 0 |
| PARAM_VALUE | 1 | misc->list.next | 4096-ptr_max |
| PARAM_VALUE | 1 | misc->list.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | misc->minor | 0-s32max |
| PARAM_VALUE | 1 | misc->mode | 0 |
| PARAM_VALUE | 1 | misc->name | 2707222359389618176 |
| PARAM_VALUE | 1 | misc->nodename | 0 |
| PARAM_VALUE | 1 | misc->parent | 0 |
| PARAM_VALUE | 1 | misc->this_device | 4096-ptr_max |
| BUF_SIZE | 0 | test->last_seen.file | (-1),32 |
| DATA_SOURCE | 0 | test | $0 |
| FUZZY_MAX | 0 | test->last_seen.line | 215 |
| STR_LEN | 0 | test->last_seen.file | (-1),31 |
| TERMINATED | 1 | misc->name | 1 |
| NOCHECK_CALL |
drivers/char/misc_minor_kunit.c miscdev_test_dynamic_only_range() -> miscdev_test_can_open()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | misc | 4096-ptr_max |
| BUF_SIZE | 0 | test->last_seen.file | (-1),32 |
| DATA_SOURCE | 0 | test | $0 |
| STR_LEN | 0 | test->last_seen.file | (-1),31 |
| NOCHECK_CALL |
drivers/char/misc_minor_kunit.c miscdev_test_static_basic() -> miscdev_test_can_open()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | test | 4096-ptr_max |
| PARAM_VALUE | 0 | test->last_seen.file | 127441505849921536,8090938237943001088 |
| PARAM_VALUE | 0 | test->last_seen.line | 99,196 |
| PARAM_VALUE | 0 | test->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | test->log->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | test->param_value | 4096-ptr_max |
| PARAM_VALUE | 0 | test->status | 1 |
| PARAM_VALUE | 1 | misc | 6968927622924337152 |
| PARAM_VALUE | 1 | misc->fops | 7385357050507550720 |
| PARAM_VALUE | 1 | misc->groups | 0 |
| PARAM_VALUE | 1 | misc->list.next | 4096-ptr_max |
| PARAM_VALUE | 1 | misc->list.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | misc->mode | 0 |
| PARAM_VALUE | 1 | misc->name | 2707222359389618176 |
| PARAM_VALUE | 1 | misc->nodename | 0 |
| PARAM_VALUE | 1 | misc->parent | 0 |
| PARAM_VALUE | 1 | misc->this_device | 4096-ptr_max |
| BUF_SIZE | 0 | test->last_seen.file | (-1),32 |
| DATA_SOURCE | 0 | test | $0 |
| FUZZY_MAX | 0 | test->last_seen.line | 196 |
| STR_LEN | 0 | test->last_seen.file | (-1),31 |
| TERMINATED | 1 | misc->name | 1 |
| NOCHECK_CALL |