Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/rapidio/rio.c rio_clr_err_stopped() -> rio_get_input_status()

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-u32max
PARAM_VALUE 0 rdev->phys_efptr 1-u32max
PARAM_VALUE 0 rdev->rswitch 4096-ptr_max
PARAM_VALUE 0 rdev->rswitch->nextdev 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 lnkresp 2711713150965878784
DATA_SOURCE 0 rdev $0
DATA_SOURCE 1 pnum $1
BIT_INFO 0 rdev->pef 0x10000000,0xffffffffffffffff
HALF_LOCKED2 &pool->lock

drivers/rapidio/rio.c rio_clr_err_stopped() -> rio_get_input_status()

Type Parameter Key Value
PARAM_VALUE 0 rdev 4096-ptr_max
PARAM_VALUE 1 pnum 0-255
PARAM_VALUE 2 lnkresp 0
NOCHECK_CALL
HALF_LOCKED2 &pool->lock