Defined in 4 files as a member:

Defined in 1 files as a function:

Referenced in 5 files:

Smatch caller information:

drivers/infiniband/hw/hfi1/eprom.c eprom_read_platform_config() -> read_length()

Type Parameter Key Value
PARAM_VALUE 0 dd 4096-ptr_max
PARAM_VALUE 0 dd->asic_data 4096-ptr_max
PARAM_VALUE 0 dd->asic_data->asic_resource_mutex.dep_map->name 0-255
PARAM_VALUE 0 dd->asic_data->asic_resource_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 dd->asic_data->asic_resource_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 dd->asic_data->asic_resource_mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 dd->asic_data->asic_resource_mutex.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 dd->asic_data->asic_resource_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 dd->asic_data->asic_resource_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 dd->eprom_available 1
PARAM_VALUE 0 dd->pcidev 4096-ptr_max
PARAM_VALUE 0 dd->pcidev->device 0-9456,9458-u16max
PARAM_VALUE 1 start 130816
PARAM_VALUE 2 len 256
PARAM_VALUE 3 dest 3630107183001657344
BUF_SIZE 3 dest 256
DATA_SOURCE 0 dd $0

drivers/infiniband/hw/hfi1/eprom.c read_partition_platform_config() -> read_length()

Type Parameter Key Value
PARAM_VALUE 0 dd 4096-ptr_max
PARAM_VALUE 0 dd->asic_data 4096-ptr_max
PARAM_VALUE 0 dd->asic_data->asic_resource_mutex.dep_map->name 0-255
PARAM_VALUE 0 dd->asic_data->asic_resource_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 dd->asic_data->asic_resource_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 dd->asic_data->asic_resource_mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 dd->asic_data->asic_resource_mutex.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 dd->asic_data->asic_resource_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 dd->asic_data->asic_resource_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 dd->eprom_available 1
PARAM_VALUE 0 dd->pcidev 4096-ptr_max
PARAM_VALUE 0 dd->pcidev->device 0-9456,9458-u16max
PARAM_VALUE 1 start 131072
PARAM_VALUE 2 len 4096
PARAM_VALUE 3 dest 4096-ptr_max
BUF_SIZE 3 dest 4096
BUF_SIZE 3 dest 4096
DATA_SOURCE 0 dd $0
DATA_SOURCE 3 dest r _kmalloc_noprof

drivers/infiniband/hw/hfi1/eprom.c read_segment_platform_config() -> read_length()

Type Parameter Key Value
PARAM_VALUE 0 dd 4096-ptr_max
PARAM_VALUE 0 dd->asic_data 4096-ptr_max
PARAM_VALUE 0 dd->asic_data->asic_resource_mutex.dep_map->name 0-255
PARAM_VALUE 0 dd->asic_data->asic_resource_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 dd->asic_data->asic_resource_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 dd->asic_data->asic_resource_mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 dd->asic_data->asic_resource_mutex.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 dd->asic_data->asic_resource_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 dd->asic_data->asic_resource_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 dd->eprom_available 1
PARAM_VALUE 0 dd->pcidev 4096-ptr_max
PARAM_VALUE 0 dd->pcidev->device 0-9456,9458-u16max
PARAM_VALUE 1 start 0-130815,4294311936-u32max
PARAM_VALUE 2 len 257-786432
PARAM_VALUE 3 dest 4096-ptr_max
BUF_SIZE 3 dest 257-786432
BUF_SIZE 3 dest 257-786432
CAPPED_DATA 1 start 1
CAPPED_DATA 2 len 1
DATA_SOURCE 0 dd $0
DATA_SOURCE 3 dest r _kmalloc_noprof
FUZZY_MAX 2 len 257
HARD_MAX 2 len 786432
UNITS 1 start unit_byte
UNITS 2 len unit_byte

drivers/infiniband/hw/hfi1/eprom.c read_segment_platform_config() -> read_length()

Type Parameter Key Value
PARAM_VALUE 0 dd 4096-ptr_max
PARAM_VALUE 0 dd->asic_data 4096-ptr_max
PARAM_VALUE 0 dd->asic_data->asic_resource_mutex.dep_map->name 0-255
PARAM_VALUE 0 dd->asic_data->asic_resource_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 dd->asic_data->asic_resource_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 dd->asic_data->asic_resource_mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 dd->asic_data->asic_resource_mutex.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 dd->asic_data->asic_resource_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 dd->asic_data->asic_resource_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 dd->eprom_available 1
PARAM_VALUE 0 dd->pcidev 4096-ptr_max
PARAM_VALUE 0 dd->pcidev->bus->self->link_bwctrl->cdev 0,4096-s64max
PARAM_VALUE 0 dd->pcidev->device 0-9456,9458-u16max
PARAM_VALUE 0 dd->pcidev->link_bwctrl->cdev 0,4096-s64max
PARAM_VALUE 0 dd->pcidev->subordinate->self->link_bwctrl->cdev 0,4096-s64max
PARAM_VALUE 2 len 1-4096
PARAM_VALUE 3 dest 4096-ptr_max
CAPPED_DATA 2 len 1
DATA_SOURCE 0 dd $0
FUZZY_MAX 2 len 4096
UNITS 2 len unit_byte