Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
kernel/rcu/rcutorture.c rcu_torture_init_srcu_lockdep() -> srcu_lockdep_next()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | f | 6172888599000514560 |
| PARAM_VALUE | 1 | fl | 9091725275836764160 |
| PARAM_VALUE | 2 | fs | 5345752148922236928 |
| PARAM_VALUE | 3 | fu | 7913018519127261184 |
| PARAM_VALUE | 4 | i | 0-8 |
| PARAM_VALUE | 5 | cyclelen | 1-9 |
| PARAM_VALUE | 6 | deadlock | 0-1 |
| BUF_SIZE | 0 | f | 30 |
| BUF_SIZE | 1 | fl | 15 |
| BUF_SIZE | 2 | fs | 17 |
| BUF_SIZE | 3 | fu | 17 |
| CAPPED_DATA | 4 | i | 1 |
| CAPPED_DATA | 5 | cyclelen | 1 |
| CAPPED_DATA | 6 | deadlock | 1 |
| FUZZY_MAX | 5 | cyclelen | 1 |
| STR_LEN | 0 | f | 14 |
| STR_LEN | 1 | fl | 16 |
| STR_LEN | 2 | fs | 16 |
| PARAM_COMPARE | 4 | i | < $5 |
| PARAM_COMPARE | 5 | cyclelen | > $4 |
| TERMINATED | 1 | fl | 1 |
| TERMINATED | 2 | fs | 1 |
| TERMINATED | 3 | fu | 1 |
| LOCK2 | global &fullstop_mutex |
kernel/rcu/rcutorture.c rcu_torture_init_srcu_lockdep() -> srcu_lockdep_next()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | f | 6172888599000514560 |
| PARAM_VALUE | 1 | fl | 4327851515372642304 |
| PARAM_VALUE | 2 | fs | 5345752148922236928 |
| PARAM_VALUE | 3 | fu | 3733495166060720128 |
| PARAM_VALUE | 4 | i | 0-8 |
| PARAM_VALUE | 5 | cyclelen | 1-9 |
| PARAM_VALUE | 6 | deadlock | 0-1 |
| BUF_SIZE | 0 | f | 30 |
| BUF_SIZE | 1 | fl | 11 |
| BUF_SIZE | 2 | fs | 17 |
| BUF_SIZE | 3 | fu | 13 |
| CAPPED_DATA | 4 | i | 1 |
| CAPPED_DATA | 5 | cyclelen | 1 |
| CAPPED_DATA | 6 | deadlock | 1 |
| FUZZY_MAX | 5 | cyclelen | 1 |
| STR_LEN | 0 | f | 10 |
| STR_LEN | 1 | fl | 16 |
| STR_LEN | 2 | fs | 12 |
| PARAM_COMPARE | 4 | i | < $5 |
| PARAM_COMPARE | 5 | cyclelen | > $4 |
| TERMINATED | 1 | fl | 1 |
| TERMINATED | 2 | fs | 1 |
| TERMINATED | 3 | fu | 1 |
| LOCK2 | global &fullstop_mutex |
kernel/rcu/rcutorture.c rcu_torture_init_srcu_lockdep() -> srcu_lockdep_next()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | f | 6172888599000514560 |
| PARAM_VALUE | 1 | fl | 879323913784500224 |
| PARAM_VALUE | 2 | fs | 5345752148922236928 |
| PARAM_VALUE | 3 | fu | 788021532797054976 |
| PARAM_VALUE | 4 | i | 0-8 |
| PARAM_VALUE | 5 | cyclelen | 1-9 |
| PARAM_VALUE | 6 | deadlock | 0-1 |
| BUF_SIZE | 0 | f | 30 |
| BUF_SIZE | 1 | fl | 11 |
| BUF_SIZE | 2 | fs | 17 |
| BUF_SIZE | 3 | fu | 9 |
| CAPPED_DATA | 4 | i | 1 |
| CAPPED_DATA | 5 | cyclelen | 1 |
| CAPPED_DATA | 6 | deadlock | 1 |
| FUZZY_MAX | 5 | cyclelen | 1 |
| STR_LEN | 0 | f | 10 |
| STR_LEN | 1 | fl | 16 |
| STR_LEN | 2 | fs | 8 |
| PARAM_COMPARE | 4 | i | < $5 |
| PARAM_COMPARE | 5 | cyclelen | > $4 |
| TERMINATED | 1 | fl | 1 |
| TERMINATED | 2 | fs | 1 |
| TERMINATED | 3 | fu | 1 |
| LOCK2 | global &fullstop_mutex |
kernel/rcu/rcutorture.c rcu_torture_init_srcu_lockdep() -> srcu_lockdep_next()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | f | 6172888599000514560 |
| PARAM_VALUE | 1 | fl | 6990388447313338368,9091725275836764160 |
| PARAM_VALUE | 2 | fs | 5345752148922236928,7184237995699724288 |
| PARAM_VALUE | 3 | fu | 2296993790813331456,7913018519127261184 |
| PARAM_VALUE | 4 | i | 0-8 |
| PARAM_VALUE | 5 | cyclelen | 1-9 |
| PARAM_VALUE | 6 | deadlock | 0-1 |
| BUF_SIZE | 0 | f | 30 |
| BUF_SIZE | 1 | fl | 15,20 |
| BUF_SIZE | 1 | fl | 15,20 |
| BUF_SIZE | 2 | fs | 17,28 |
| BUF_SIZE | 2 | fs | 17,28 |
| BUF_SIZE | 3 | fu | 17,22 |
| BUF_SIZE | 3 | fu | 17,22 |
| CAPPED_DATA | 4 | i | 1 |
| CAPPED_DATA | 5 | cyclelen | 1 |
| CAPPED_DATA | 6 | deadlock | 1 |
| FUZZY_MAX | 5 | cyclelen | 1 |
| STR_LEN | 0 | f | 14,19 |
| STR_LEN | 1 | fl | 14,19 |
| STR_LEN | 1 | fl | 16,27 |
| STR_LEN | 2 | fs | 16,21 |
| STR_LEN | 2 | fs | 16,27 |
| STR_LEN | 3 | fu | 16,21 |
| PARAM_COMPARE | 4 | i | < $5 |
| PARAM_COMPARE | 5 | cyclelen | > $4 |
| BIT_INFO | 1 | fl | 0x6000494184100000,0x7f2edbf7f5bbf000 |
| BIT_INFO | 1 | fl | 0x6000494184100000,0x7f2edbf7f5bbf000 |
| BIT_INFO | 2 | fs | 0x42238840a18a8000,0x6bbfef65b7cbe000 |
| BIT_INFO | 2 | fs | 0x42238840a18a8000,0x6bbfef65b7cbe000 |
| BIT_INFO | 3 | fu | 0xdc0802a08a00000,0x7ff0bfefcdbfe000 |
| BIT_INFO | 3 | fu | 0xdc0802a08a00000,0x7ff0bfefcdbfe000 |
| TERMINATED | 1 | fl | 1 |
| TERMINATED | 2 | fs | 1 |
| TERMINATED | 3 | fu | 1 |
| LOCK2 | global &fullstop_mutex |