Documented in 1 files:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/rapidio/rio.c rio_inb_pwrite_handler() -> rio_clr_err_stopped()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | rdev | 4096-ptr_max |
| PARAM_VALUE | 0 | rdev->net | 4096-ptr_max |
| PARAM_VALUE | 0 | rdev->pef | 268435456-4294967295 |
| PARAM_VALUE | 0 | rdev->phys_efptr | 1-u32max |
| PARAM_VALUE | 0 | rdev->rswitch | 4096-ptr_max |
| PARAM_VALUE | 0 | rdev->rswitch->ops | 0,2463549438424051712,3371300137194262528,7132764274137407488 |
| PARAM_VALUE | 0 | rdev->rswitch->ops->em_handle | 0,3586848788839112704,7054383955992649728 |
| PARAM_VALUE | 1 | pnum | 0-255 |
| PARAM_VALUE | 2 | err_status | u32max |
| BIT_INFO | 0 | rdev->pef | 0x10000000,0xffffffffffffffff |
| HALF_LOCKED2 | &pool->lock |
drivers/rapidio/rio.c rio_inb_pwrite_handler() -> rio_clr_err_stopped()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | rdev | 4096-ptr_max |
| PARAM_VALUE | 0 | rdev->net | 4096-ptr_max |
| PARAM_VALUE | 0 | rdev->pef | 268435456-4294967295 |
| PARAM_VALUE | 0 | rdev->phys_efptr | 1-u32max |
| PARAM_VALUE | 0 | rdev->rswitch | 4096-ptr_max |
| PARAM_VALUE | 0 | rdev->rswitch->ops | 0,2463549438424051712,3371300137194262528,7132764274137407488 |
| PARAM_VALUE | 0 | rdev->rswitch->ops->em_handle | 0,3586848788839112704,7054383955992649728 |
| PARAM_VALUE | 1 | pnum | 0-255 |
| PARAM_VALUE | 2 | err_status | 0 |
| BIT_INFO | 0 | rdev->pef | 0x10000000,0xffffffffffffffff |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |