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 |
mpc30 |
4096-ptr_max |
| PARAM_VALUE |
1 |
ctx |
4096-ptr_max |
| PARAM_VALUE |
2 |
mpc_regs |
7067176149193777152 |
| PARAM_VALUE |
3 |
mpc_shift |
3420321489552683008 |
| PARAM_VALUE |
4 |
mpc_mask |
4222015756083277824 |
| PARAM_VALUE |
5 |
num_mpcc |
6 |
| PARAM_VALUE |
6 |
num_rmu |
3 |
| BUF_SIZE |
0 |
mpc30 |
19808 |
| BUF_SIZE |
1 |
ctx->dc_bios->regs |
12 |
| DATA_SOURCE |
0 |
mpc30 |
r _kzalloc_noprof |
| DATA_SOURCE |
1 |
ctx |
$0 |
| DATA_SOURCE |
5 |
num_mpcc |
$1 |
| DATA_SOURCE |
6 |
num_rmu |
$2 |
| PREEMPT_ADD |
|
|
|
| NOCHECK_CALL |
|
|
|
| UNITS |
5 |
num_mpcc |
unit_array_size |
| UNITS |
6 |
num_rmu |
unit_array_size |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
mpc30 |
4096-ptr_max |
| PARAM_VALUE |
1 |
ctx |
4096-ptr_max |
| PARAM_VALUE |
2 |
mpc_regs |
7339039513229725696 |
| PARAM_VALUE |
3 |
mpc_shift |
5306508305480294400 |
| PARAM_VALUE |
4 |
mpc_mask |
1169273518459150336 |
| PARAM_VALUE |
5 |
num_mpcc |
2 |
| PARAM_VALUE |
6 |
num_rmu |
1 |
| BUF_SIZE |
0 |
mpc30 |
19808 |
| BUF_SIZE |
1 |
ctx->dc_bios->regs |
12 |
| DATA_SOURCE |
0 |
mpc30 |
r _kzalloc_noprof |
| DATA_SOURCE |
1 |
ctx |
$0 |
| DATA_SOURCE |
5 |
num_mpcc |
$1 |
| DATA_SOURCE |
6 |
num_rmu |
$2 |
| NOCHECK_CALL |
|
|
|
| UNITS |
5 |
num_mpcc |
unit_array_size |
| UNITS |
6 |
num_rmu |
unit_array_size |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
mpc30 |
4096-ptr_max |
| PARAM_VALUE |
1 |
ctx |
4096-ptr_max |
| PARAM_VALUE |
2 |
mpc_regs |
5408595736611758080 |
| PARAM_VALUE |
3 |
mpc_shift |
8522107703030964224 |
| PARAM_VALUE |
4 |
mpc_mask |
2440673604461871104 |
| PARAM_VALUE |
5 |
num_mpcc |
0-s32max |
| PARAM_VALUE |
6 |
num_rmu |
2 |
| BUF_SIZE |
0 |
mpc30 |
19808 |
| BUF_SIZE |
1 |
ctx->dc_bios->regs |
12 |
| DATA_SOURCE |
0 |
mpc30 |
r _kzalloc_noprof |
| DATA_SOURCE |
1 |
ctx |
$0 |
| DATA_SOURCE |
5 |
num_mpcc |
$1 |
| DATA_SOURCE |
6 |
num_rmu |
$2 |
| NOCHECK_CALL |
|
|
|
| UNITS |
5 |
num_mpcc |
unit_array_size |
| UNITS |
6 |
num_rmu |
unit_array_size |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
mpc30 |
4096-ptr_max |
| PARAM_VALUE |
1 |
ctx |
4096-ptr_max |
| PARAM_VALUE |
2 |
mpc_regs |
9117220118887047168 |
| PARAM_VALUE |
3 |
mpc_shift |
7428616743746146304 |
| PARAM_VALUE |
4 |
mpc_mask |
2697697595103846400 |
| PARAM_VALUE |
5 |
num_mpcc |
5 |
| PARAM_VALUE |
6 |
num_rmu |
2 |
| BUF_SIZE |
0 |
mpc30 |
19808 |
| BUF_SIZE |
1 |
ctx->dc_bios->regs |
12 |
| DATA_SOURCE |
0 |
mpc30 |
r _kzalloc_noprof |
| DATA_SOURCE |
1 |
ctx |
$0 |
| DATA_SOURCE |
5 |
num_mpcc |
$1 |
| DATA_SOURCE |
6 |
num_rmu |
$2 |
| NOCHECK_CALL |
|
|
|
| UNITS |
5 |
num_mpcc |
unit_array_size |
| UNITS |
6 |
num_rmu |
unit_array_size |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
mpc30 |
4096-ptr_max |
| PARAM_VALUE |
1 |
ctx |
4096-ptr_max |
| PARAM_VALUE |
2 |
mpc_regs |
8837572163303698432 |
| PARAM_VALUE |
3 |
mpc_shift |
1415925652960067584 |
| PARAM_VALUE |
4 |
mpc_mask |
6105360520906321920 |
| PARAM_VALUE |
5 |
num_mpcc |
4 |
| PARAM_VALUE |
6 |
num_rmu |
2 |
| BUF_SIZE |
0 |
mpc30 |
19808 |
| BUF_SIZE |
1 |
ctx->dc_bios->regs |
12 |
| DATA_SOURCE |
0 |
mpc30 |
r _kzalloc_noprof |
| DATA_SOURCE |
1 |
ctx |
$0 |
| DATA_SOURCE |
5 |
num_mpcc |
$1 |
| DATA_SOURCE |
6 |
num_rmu |
$2 |
| NOCHECK_CALL |
|
|
|
| UNITS |
5 |
num_mpcc |
unit_array_size |
| UNITS |
6 |
num_rmu |
unit_array_size |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
mpc30 |
4096-ptr_max |
| PARAM_VALUE |
1 |
ctx |
4096-ptr_max |
| PARAM_VALUE |
2 |
mpc_regs |
2062062264340840448 |
| PARAM_VALUE |
3 |
mpc_shift |
8291801179881308160 |
| PARAM_VALUE |
4 |
mpc_mask |
7327440287944196096 |
| PARAM_VALUE |
5 |
num_mpcc |
4 |
| PARAM_VALUE |
6 |
num_rmu |
2 |
| BUF_SIZE |
0 |
mpc30 |
19808 |
| BUF_SIZE |
1 |
ctx->dc_bios->regs |
12 |
| DATA_SOURCE |
0 |
mpc30 |
r _kzalloc_noprof |
| DATA_SOURCE |
1 |
ctx |
$0 |
| DATA_SOURCE |
5 |
num_mpcc |
$1 |
| DATA_SOURCE |
6 |
num_rmu |
$2 |
| NOCHECK_CALL |
|
|
|
| UNITS |
5 |
num_mpcc |
unit_array_size |
| UNITS |
6 |
num_rmu |
unit_array_size |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
mpc30 |
4096-ptr_max |
| PARAM_VALUE |
1 |
ctx |
4096-ptr_max |
| PARAM_VALUE |
2 |
mpc_regs |
9195928891606052864 |
| PARAM_VALUE |
3 |
mpc_shift |
1103328412853587968 |
| PARAM_VALUE |
4 |
mpc_mask |
4624058958171394048 |
| PARAM_VALUE |
5 |
num_mpcc |
4 |
| PARAM_VALUE |
6 |
num_rmu |
2 |
| BUF_SIZE |
0 |
mpc30 |
19808 |
| BUF_SIZE |
1 |
ctx->dc_bios->regs |
12 |
| DATA_SOURCE |
0 |
mpc30 |
r _kzalloc_noprof |
| DATA_SOURCE |
1 |
ctx |
$0 |
| DATA_SOURCE |
5 |
num_mpcc |
$1 |
| DATA_SOURCE |
6 |
num_rmu |
$2 |
| NOCHECK_CALL |
|
|
|
| UNITS |
5 |
num_mpcc |
unit_array_size |
| UNITS |
6 |
num_rmu |
unit_array_size |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
mpc30 |
4096-ptr_max |
| PARAM_VALUE |
1 |
ctx |
4096-ptr_max |
| PARAM_VALUE |
2 |
mpc_regs |
3295015493963489280 |
| PARAM_VALUE |
3 |
mpc_shift |
1430207079110909952 |
| PARAM_VALUE |
4 |
mpc_mask |
3529806988856987648 |
| PARAM_VALUE |
5 |
num_mpcc |
4 |
| PARAM_VALUE |
6 |
num_rmu |
2 |
| BUF_SIZE |
0 |
mpc30 |
19808 |
| BUF_SIZE |
1 |
ctx->dc_bios->regs |
12 |
| DATA_SOURCE |
0 |
mpc30 |
r _kzalloc_noprof |
| DATA_SOURCE |
1 |
ctx |
$0 |
| DATA_SOURCE |
5 |
num_mpcc |
$1 |
| DATA_SOURCE |
6 |
num_rmu |
$2 |
| NOCHECK_CALL |
|
|
|
| UNITS |
5 |
num_mpcc |
unit_array_size |
| UNITS |
6 |
num_rmu |
unit_array_size |