Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/rapidio/rio.c rio_inb_pwrite_handler() -> (struct rio_switch_ops)->em_handle()

Type Parameter Key Value
PARAM_VALUE 0 rdev 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 2463549438424051712,3371300137194262528,7132764274137407488
PARAM_VALUE 0 rdev->rswitch->ops->em_handle 3586848788839112704,7054383955992649728
CONTAINER 0 -56-32-2784+0 $(-1)
BIT_INFO 0 rdev->pef 0x10000000,0xffffffff
NOCHECK_CALL
HALF_LOCKED2 &pool->lock