Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 8 files:
Smatch caller information:
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
size |
(-4)-2147483643 |
| PARAM_VALUE |
1 |
regs |
7332641221764366336 |
| PARAM_VALUE |
2 |
rctxp |
8635835477770407936 |
| PREEMPT_ADD |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
1 |
regs |
1275973564776976384 |
| PARAM_VALUE |
2 |
rctxp |
1695378294528065536 |
| BIT_INFO |
0 |
size |
0x0,0xfffffffffffffff8 |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
size |
(-4)-2147483643 |
| PARAM_VALUE |
1 |
regs |
6939490501281550336 |
| PARAM_VALUE |
2 |
rctxp |
1238551102559526912 |
| PREEMPT_ADD |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
size |
28 |
| PARAM_VALUE |
1 |
regs |
6801682051817205760 |
| PARAM_VALUE |
2 |
rctxp |
4917546042812047360 |
| PREEMPT_ADD |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
size |
(-4)-2147483643 |
| PARAM_VALUE |
1 |
regs |
7518485433392476160 |
| PARAM_VALUE |
2 |
rctxp |
7982418392598671360 |
| PREEMPT_ADD |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
size |
28 |
| PARAM_VALUE |
1 |
regs |
4686908034220969984 |
| PARAM_VALUE |
2 |
rctxp |
1671479794886807552 |
| PREEMPT_ADD |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
size |
(-4)-2147483643 |
| PARAM_VALUE |
1 |
regs |
1788544768409149440 |
| PARAM_VALUE |
2 |
rctxp |
340336182595653632 |
| PREEMPT_ADD |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
size |
28 |
| PARAM_VALUE |
1 |
regs |
9203905193486843904 |
| PARAM_VALUE |
2 |
rctxp |
7231118450404839424 |
| PREEMPT_ADD |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
size |
(-4)-2147483643 |
| PARAM_VALUE |
1 |
regs |
8964559976584474624 |
| PARAM_VALUE |
2 |
rctxp |
1803197099292323840 |
| PREEMPT_ADD |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
size |
28 |
| PARAM_VALUE |
1 |
regs |
4171218037156851712 |
| PARAM_VALUE |
2 |
rctxp |
4510422498923945984 |
| PREEMPT_ADD |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
size |
28 |
| PARAM_VALUE |
1 |
regs |
0 |
| PARAM_VALUE |
2 |
rctxp |
7342301364967112704 |
| PREEMPT_ADD |
|
|
<- disables preempt |
| UNITS |
0 |
size |
unit_byte |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
size |
60 |
| PARAM_VALUE |
1 |
regs |
1693219856196722688 |
| PARAM_VALUE |
2 |
rctxp |
1826139758714437632 |
| PREEMPT_ADD |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
size |
60 |
| PARAM_VALUE |
1 |
regs |
1327459743866302464 |
| PARAM_VALUE |
2 |
rctxp |
485017558487810048 |
| PREEMPT_ADD |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
size |
60 |
| PARAM_VALUE |
1 |
regs |
828300885104345088 |
| PARAM_VALUE |
2 |
rctxp |
6530337672723189760 |
| PREEMPT_ADD |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
size |
(-4)-2147483643 |
| PARAM_VALUE |
1 |
regs |
8654974079048769536 |
| PARAM_VALUE |
2 |
rctxp |
6166149301222924288 |
| LOCK2 |
|
rcu_read |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
size |
(-4)-2147483643 |
| PARAM_VALUE |
1 |
regs |
3241077489039654912 |
| PARAM_VALUE |
2 |
rctxp |
112695035958702080 |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
size |
20 |
| PARAM_VALUE |
1 |
regs |
1971537591763476480 |
| PARAM_VALUE |
2 |
rctxp |
1432788634439626752 |
| PREEMPT_ADD |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
size |
(-4)-2147483643 |
| PARAM_VALUE |
1 |
regs |
230968470937923584 |
| PARAM_VALUE |
2 |
rctxp |
2044207229488586752 |
| PREEMPT_ADD |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
size |
20 |
| PARAM_VALUE |
1 |
regs |
3256806460575723520 |
| PARAM_VALUE |
2 |
rctxp |
1693553936362876928 |
| PREEMPT_ADD |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
size |
(-4)-2147483643 |
| PARAM_VALUE |
1 |
regs |
2890773440653938688 |
| PARAM_VALUE |
2 |
rctxp |
5401695452505419776 |
| PREEMPT_ADD |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
size |
(-4)-2147483643 |
| PARAM_VALUE |
1 |
regs |
0 |
| PARAM_VALUE |
2 |
rctxp |
2121145848297857024 |
| PREEMPT_ADD |
|
|
<- disables preempt |
| UNITS |
0 |
size |
unit_byte |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
size |
28 |
| PARAM_VALUE |
1 |
regs |
0 |
| PARAM_VALUE |
2 |
rctxp |
4841393137486073856 |
| PREEMPT_ADD |
|
|
<- disables preempt |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
size |
68 |
| PARAM_VALUE |
1 |
regs |
8256394976991940608 |
| PARAM_VALUE |
2 |
rctxp |
8072205568562200576 |
| PREEMPT_ADD |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
size |
28 |
| PARAM_VALUE |
1 |
regs |
4351289592625123328 |
| PARAM_VALUE |
2 |
rctxp |
8950539693038501888 |
| PREEMPT_ADD |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
size |
(-4)-2147483643 |
| PARAM_VALUE |
1 |
regs |
4955748864447782912 |
| PARAM_VALUE |
2 |
rctxp |
6654940169683869696 |
| PREEMPT_ADD |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
size |
(-4)-2147483643 |
| PARAM_VALUE |
1 |
regs |
5403484945260634112 |
| PARAM_VALUE |
2 |
rctxp |
4790761407033106432 |
| PREEMPT_ADD |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
size |
(-4)-2147483643 |
| PARAM_VALUE |
1 |
regs |
10178472943116288 |
| PARAM_VALUE |
2 |
rctxp |
3478158652512636928 |
| PREEMPT_ADD |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
size |
44 |
| PARAM_VALUE |
1 |
regs |
6181973067396009984 |
| PARAM_VALUE |
2 |
rctxp |
1573354120472014848 |
| PREEMPT_ADD |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
1 |
regs |
3722316641036914688 |
| PARAM_VALUE |
2 |
rctxp |
6024541512431779840 |
| BIT_INFO |
0 |
size |
0x0,0xfffffff8 |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
size |
(-4),44-1010148 |
| PARAM_VALUE |
1 |
regs |
4975620022142021632 |
| PARAM_VALUE |
2 |
rctxp |
2743994581375262720 |
| PREEMPT_ADD |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
size |
148 |
| PARAM_VALUE |
1 |
regs |
7140927387665489920 |
| PARAM_VALUE |
2 |
rctxp |
3915581844397035520 |
| PREEMPT_ADD |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
size |
76 |
| PARAM_VALUE |
1 |
regs |
5871419947450191872 |
| PARAM_VALUE |
2 |
rctxp |
8971923457390657536 |
| PREEMPT_ADD |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
size |
76 |
| PARAM_VALUE |
1 |
regs |
2724995544910315520 |
| PARAM_VALUE |
2 |
rctxp |
9163869610717560832 |
| PREEMPT_ADD |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
size |
(-4)-2147483643 |
| PARAM_VALUE |
1 |
regs |
2368014275196084224 |
| PARAM_VALUE |
2 |
rctxp |
9131212847625306112 |
| PREEMPT_ADD |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
size |
s32min-8192 |
| PARAM_VALUE |
1 |
regs |
0 |
| PARAM_VALUE |
2 |
rctxp |
8992078859358396416 |
| FUZZY_MAX |
0 |
size |
8192 |
| PREEMPT_ADD |
|
|
<- disables preempt |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| UNITS |
0 |
size |
unit_byte |
| HALF_LOCKED2 |
|
&ucb->mutex |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
size |
68 |
| PARAM_VALUE |
1 |
regs |
935819188755492864 |
| PARAM_VALUE |
2 |
rctxp |
787373294666137600 |
| PREEMPT_ADD |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
size |
20 |
| PARAM_VALUE |
1 |
regs |
167097383474262016 |
| PARAM_VALUE |
2 |
rctxp |
3266009719727972352 |
| PREEMPT_ADD |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
size |
(-4),20-1010124 |
| PARAM_VALUE |
1 |
regs |
4169114518264864768 |
| PARAM_VALUE |
2 |
rctxp |
184102834006036480 |
| PREEMPT_ADD |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
size |
(-4),20-1010124 |
| PARAM_VALUE |
1 |
regs |
2629340003077439488 |
| PARAM_VALUE |
2 |
rctxp |
838356304072585216 |
| PREEMPT_ADD |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
size |
44 |
| PARAM_VALUE |
1 |
regs |
5443036061401149440 |
| PARAM_VALUE |
2 |
rctxp |
481279106549260288 |
| PREEMPT_ADD |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
size |
28 |
| PARAM_VALUE |
1 |
regs |
8110651648259203072 |
| PARAM_VALUE |
2 |
rctxp |
6474196098457264128 |
| PREEMPT_ADD |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
size |
36 |
| PARAM_VALUE |
1 |
regs |
2741837612868681728 |
| PARAM_VALUE |
2 |
rctxp |
2255028776407875584 |
| PREEMPT_ADD |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
size |
44 |
| PARAM_VALUE |
1 |
regs |
7838856982357323776 |
| PARAM_VALUE |
2 |
rctxp |
7919911054630375424 |
| PREEMPT_ADD |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
size |
44 |
| PARAM_VALUE |
1 |
regs |
1065577389430067200 |
| PARAM_VALUE |
2 |
rctxp |
4346414916543344640 |
| PREEMPT_ADD |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
size |
36 |
| PARAM_VALUE |
1 |
regs |
3868170171956891648 |
| PARAM_VALUE |
2 |
rctxp |
8377401490990247936 |
| PREEMPT_ADD |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
size |
44 |
| PARAM_VALUE |
1 |
regs |
3243110069748944896 |
| PARAM_VALUE |
2 |
rctxp |
501961032298090496 |
| PREEMPT_ADD |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
size |
60 |
| PARAM_VALUE |
1 |
regs |
1470513548297891840 |
| PARAM_VALUE |
2 |
rctxp |
3295818122842521600 |
| PREEMPT_ADD |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
size |
36 |
| PARAM_VALUE |
1 |
regs |
5694666249232990208 |
| PARAM_VALUE |
2 |
rctxp |
8882019328204513280 |
| PREEMPT_ADD |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
size |
52 |
| PARAM_VALUE |
1 |
regs |
3699445629198483456 |
| PARAM_VALUE |
2 |
rctxp |
4409693026939654144 |
| PREEMPT_ADD |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
size |
36 |
| PARAM_VALUE |
1 |
regs |
8668055969781633024 |
| PARAM_VALUE |
2 |
rctxp |
3823566741679747072 |
| PREEMPT_ADD |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
size |
36 |
| PARAM_VALUE |
1 |
regs |
194832278602883072 |
| PARAM_VALUE |
2 |
rctxp |
8023770115183972352 |
| PREEMPT_ADD |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
size |
36 |
| PARAM_VALUE |
1 |
regs |
6443925235697901568 |
| PARAM_VALUE |
2 |
rctxp |
6571526685817401344 |
| PREEMPT_ADD |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
size |
36 |
| PARAM_VALUE |
1 |
regs |
3171988116214906880 |
| PARAM_VALUE |
2 |
rctxp |
3840247037738467328 |
| PREEMPT_ADD |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
size |
36 |
| PARAM_VALUE |
1 |
regs |
4413709846113759232 |
| PARAM_VALUE |
2 |
rctxp |
8796554135170625536 |
| PREEMPT_ADD |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
size |
60 |
| PARAM_VALUE |
1 |
regs |
1319391905691140096 |
| PARAM_VALUE |
2 |
rctxp |
3719628546276835328 |
| PREEMPT_ADD |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
size |
84 |
| PARAM_VALUE |
1 |
regs |
6517549175540441088 |
| PARAM_VALUE |
2 |
rctxp |
2782696623868612608 |
| PREEMPT_ADD |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
size |
36 |
| PARAM_VALUE |
1 |
regs |
4023987188583718912 |
| PARAM_VALUE |
2 |
rctxp |
120646721016197120 |
| PREEMPT_ADD |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
size |
52 |
| PARAM_VALUE |
1 |
regs |
696865065285095424 |
| PARAM_VALUE |
2 |
rctxp |
1478798399585787904 |
| PREEMPT_ADD |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
size |
36 |
| PARAM_VALUE |
1 |
regs |
7290408030671695872 |
| PARAM_VALUE |
2 |
rctxp |
6129679800687124480 |
| PREEMPT_ADD |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
size |
44 |
| PARAM_VALUE |
1 |
regs |
4581116482248372224 |
| PARAM_VALUE |
2 |
rctxp |
2926493659365969920 |
| PREEMPT_ADD |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
size |
(-4)-2147483643 |
| PARAM_VALUE |
1 |
regs |
5014180420135555072 |
| PARAM_VALUE |
2 |
rctxp |
2616575138343964672 |
| PREEMPT_ADD |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
size |
60 |
| PARAM_VALUE |
1 |
regs |
244226639482662912 |
| PARAM_VALUE |
2 |
rctxp |
7427298955121754112 |
| PREEMPT_ADD |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
size |
84 |
| PARAM_VALUE |
1 |
regs |
5262189419844075520 |
| PARAM_VALUE |
2 |
rctxp |
8601036241121456128 |
| PREEMPT_ADD |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
size |
52 |
| PARAM_VALUE |
1 |
regs |
7731925964480966656 |
| PARAM_VALUE |
2 |
rctxp |
8226435650566627328 |
| PREEMPT_ADD |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
size |
44 |
| PARAM_VALUE |
1 |
regs |
3696857378131677184 |
| PARAM_VALUE |
2 |
rctxp |
3465456377046519808 |
| PREEMPT_ADD |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
size |
(-4),28-44 |
| PARAM_VALUE |
1 |
regs |
7126701765978750976 |
| PARAM_VALUE |
2 |
rctxp |
5195748856466997248 |
| PREEMPT_ADD |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
size |
(-4)-2147483643 |
| PARAM_VALUE |
1 |
regs |
0 |
| PARAM_VALUE |
2 |
rctxp |
6022612664702668800 |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
size |
(-4)-2147483643 |
| PARAM_VALUE |
1 |
regs |
0 |
| PARAM_VALUE |
2 |
rctxp |
2889752010778529792 |