Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/usb/atm/ueagle-atm.c uea_boot() -> load_XILINX_firmware()

Type Parameter Key Value
PARAM_VALUE 0 sc 4096-ptr_max
PARAM_VALUE 0 sc->annex 0-1
PARAM_VALUE 0 sc->dispatch_cmv 3774456731512807424,5718309260890816512
PARAM_VALUE 0 sc->modem_index 0-3
PARAM_VALUE 0 sc->schedule_load_page 4003166222337650688,6280858771065573376
PARAM_VALUE 0 sc->send_cmvs 358035362258251776,2973027264797827072
PARAM_VALUE 0 sc->stat 458992316479258624,4811348790118277120
PARAM_VALUE 0 sc->sync_q.head.next 4096-ptr_max
PARAM_VALUE 0 sc->sync_q.head.next->next 4096-ptr_max
PARAM_VALUE 0 sc->sync_q.head.prev 4096-ptr_max
PARAM_VALUE 0 sc->sync_q.head.prev->next 4096-ptr_max
PARAM_VALUE 0 sc->sync_q.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 sc->usb_dev 4096-ptr_max
PARAM_VALUE 0 sc->usb_dev->actconfig 4096-ptr_max
PARAM_VALUE 0 sc->usbatm 4096-ptr_max
PARAM_VALUE 0 sc->usbatm->driver 4096-ptr_max
PARAM_VALUE 0 sc->usbatm->driver_data 4096-ptr_max
PARAM_VALUE 0 sc->usbatm->flags 0-1
PARAM_VALUE 0 sc->usbatm->usb_dev 4096-ptr_max
PARAM_VALUE 0 sc->usbatm->usb_intf 4096-ptr_max
BUF_SIZE 0 sc 368
BUF_SIZE 0 sc->usbatm 1128-s32max
DATA_SOURCE 0 sc $0
FUZZY_MAX 0 sc->annex 1
FUZZY_MAX 0 sc->modem_index 3
FUZZY_MAX 0 sc->usbatm->flags 1
BIT_INFO 0 sc->dispatch_cmv 0x441806011210000,0x7f7b93ffffff6000
BIT_INFO 0 sc->driver_info 0x0,0xfffffff0
BIT_INFO 0 sc->schedule_load_page 0x170a124011421000,0x77ae1ffe7fc7b000
BIT_INFO 0 sc->send_cmvs 0x42500388426000,0x2df7ffcbf9ff7000
BIT_INFO 0 sc->stat 0x244081020014000,0x46dffb3fffe16000
HARD_MAX 0 sc->annex 1
HARD_MAX 0 sc->modem_index 3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL