Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
lib/tests/ffs_kunit.c ffs_basic_correctness_test() -> validate_ffs_result()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | input | 0-4,7-8,15-16,32,64,128,255-257,4097,32768,u16max-65536,1073741824,1073741826,s32max-2147483649,u32max |
| PARAM_VALUE | 4 | func_name | 1763484015365738496 |
| BUF_SIZE | 4 | func_name | 4 |
| DATA_SOURCE | 0 | test | $0 |
| STR_LEN | 0 | test | 3 |
| TERMINATED | 4 | func_name | 1 |
| NOCHECK_CALL |
lib/tests/ffs_kunit.c ffs_basic_correctness_test() -> validate_ffs_result()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | test | 4096-ptr_max |
| PARAM_VALUE | 0 | test->last_seen.file | 8090938237943001088,8822447836770091008 |
| PARAM_VALUE | 0 | test->last_seen.line | 99,106 |
| 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 | input | 0-4,7-8,15-16,32,64,128,255-257,4097,32768,u16max-65536,1073741824,1073741826,s32max-2147483649,u32max |
| PARAM_VALUE | 2 | actual | 0-32 |
| PARAM_VALUE | 4 | func_name | 7835180043071524864 |
| BUF_SIZE | 4 | func_name | 4 |
| DATA_SOURCE | 0 | test | $0 |
| STR_LEN | 0 | test | 3 |
| TERMINATED | 4 | func_name | 1 |
| NOCHECK_CALL |
lib/tests/ffs_kunit.c ffs_basic_correctness_test() -> validate_ffs_result()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | test | 4096-ptr_max |
| PARAM_VALUE | 0 | test->last_seen.file | 8090938237943001088,8822447836770091008 |
| PARAM_VALUE | 0 | test->last_seen.line | 99,106 |
| 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 | input | 1-4,7-8,15-16,32,64,128,255-257,4097,32768,u16max-65536,1073741824,1073741826,s32max-2147483649,u32max |
| PARAM_VALUE | 4 | func_name | 1810132317481226240 |
| BUF_SIZE | 4 | func_name | 6 |
| DATA_SOURCE | 0 | test | $0 |
| STR_LEN | 0 | test | 5 |
| TERMINATED | 4 | func_name | 1 |
| NOCHECK_CALL |
lib/tests/ffs_kunit.c ffs_basic_correctness_test() -> validate_ffs_result()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | test | 4096-ptr_max |
| PARAM_VALUE | 0 | test->last_seen.file | 8090938237943001088,8822447836770091008 |
| PARAM_VALUE | 0 | test->last_seen.line | 99,106 |
| 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 | input | 1-4,7-8,15-16,32,64,128,255-257,4097,32768,u16max-65536,1073741824,1073741826,s32max-2147483649,u32max |
| PARAM_VALUE | 2 | actual | 1-32 |
| PARAM_VALUE | 4 | func_name | 8200295513480597504 |
| BUF_SIZE | 4 | func_name | 6 |
| DATA_SOURCE | 0 | test | $0 |
| STR_LEN | 0 | test | 5 |
| TERMINATED | 4 | func_name | 1 |
| NOCHECK_CALL |