Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/edac/i5400_edac.c handle_channel() -> determine_amb_present_reg()

Type Parameter Key Value
PARAM_VALUE 0 pvt 4096-ptr_max
PARAM_VALUE 0 pvt->b0_ambpresent0 0
PARAM_VALUE 0 pvt->b0_ambpresent1 0
PARAM_VALUE 0 pvt->b1_ambpresent0 0
PARAM_VALUE 0 pvt->b1_ambpresent1 0
PARAM_VALUE 1 channel 0-s32max
BUF_SIZE 0 pvt 8,32,56,88,160,256,288,424,488,920,1008,1664
BUF_SIZE 0 pvt 8,32,56,88,160,256,288,424,488,920,1008,1664
CAPPED_DATA 1 channel 1
DATA_SOURCE 0 pvt $0
DATA_SOURCE 1 channel $2
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 pvt->b0_ambpresent0 0
HOST_DATA 0 pvt->b0_ambpresent1 0
HOST_DATA 0 pvt->b1_ambpresent0 0
HOST_DATA 0 pvt->b1_ambpresent1 0
HOST_DATA 0 pvt->mir0 0
HOST_DATA 0 pvt->mir1 0
HOST_DATA 0 pvt->tolm 0[c]
HOST_DATA 0 pvt->u.ambase_bottom 0
HOST_DATA 0 pvt->u.ambase_top 0
HALF_LOCKED2 &pdev->dev.mutex
HALF_LOCKED2 &pool->lock