Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/pcmcia/yenta_socket.c ricoh_override() -> config_readw()

Type Parameter Key Value
PARAM_VALUE 0 socket 4096-ptr_max
PARAM_VALUE 0 socket->dev 4096-ptr_max
PARAM_VALUE 0 socket->dev->bus 4096-ptr_max
PARAM_VALUE 0 socket->dev->bus->ops->write 4096-ptr_max
PARAM_VALUE 0 socket->dev->dev.bus 0,4096-ptr_max
PARAM_VALUE 0 socket->dev->dev.class 0,4096-ptr_max
PARAM_VALUE 0 socket->dev->driver 4096-ptr_max
PARAM_VALUE 0 socket->dev->error_state 0-2,4-u32max
PARAM_VALUE 0 socket->dev->subordinate 4096-ptr_max
PARAM_VALUE 0 socket->socket.cb_dev 4096-ptr_max
PARAM_VALUE 0 socket->socket.cb_dev->bus 4096-ptr_max
PARAM_VALUE 0 socket->socket.cb_dev->dev.bus 0,4096-ptr_max
PARAM_VALUE 0 socket->socket.cb_dev->dev.class 0,4096-ptr_max
PARAM_VALUE 0 socket->socket.cb_dev->driver 4096-ptr_max
PARAM_VALUE 0 socket->socket.cb_dev->subordinate 4096-ptr_max
PARAM_VALUE 0 socket->socket.dev.parent 4096-ptr_max
PARAM_VALUE 0 socket->socket.dev.parent->bus 0,4096-ptr_max
PARAM_VALUE 0 socket->socket.dev.parent->class 0,4096-ptr_max
PARAM_VALUE 0 socket->socket.driver_data 4096-ptr_max
PARAM_VALUE 0 socket->socket.features 16385
PARAM_VALUE 0 socket->socket.map_size 4096
PARAM_VALUE 0 socket->socket.ops 8995878230654881792
PARAM_VALUE 0 socket->socket.owner 0
PARAM_VALUE 0 socket->socket.resource_ops 8544649435201912832
PARAM_VALUE 0 socket->type 4096-ptr_max
PARAM_VALUE 1 offset 128
BUF_SIZE 0 socket 2792
BUF_SIZE 0 socket->dev (-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,7472,8064
BUF_SIZE 0 socket->socket.cb_dev (-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,7472,8064
BUF_SIZE 0 socket->socket.dev.parent 1616
BUF_SIZE 0 socket->socket.driver_data 2792
BUF_SIZE 0 socket->socket.ops 48
DATA_SOURCE 0 socket $0
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 socket->dev->current_state 0-3[c]
HOST_DATA 0 socket->socket.cb_dev->current_state 0-3[c]

drivers/pcmcia/yenta_socket.c ricoh_save_state() -> config_readw()

Type Parameter Key Value
PARAM_VALUE 0 socket 4096-ptr_max
PARAM_VALUE 0 socket->type 4096-ptr_max
PARAM_VALUE 0 socket->type->save_state 3963908926503038976,5590677373808128000
PARAM_VALUE 1 offset 130
BUF_SIZE 0 socket s32min-(-2),1-s32max
BUF_SIZE 0 socket s32min-(-2),1-s32max
DATA_SOURCE 0 socket $0
RX_PATH
TASK_NOT_RUNNING

drivers/pcmcia/yenta_socket.c ricoh_save_state() -> config_readw()

Type Parameter Key Value
PARAM_VALUE 0 socket 4096-ptr_max
PARAM_VALUE 0 socket->dev 4096-ptr_max
PARAM_VALUE 0 socket->dev->error_state 0-2,4-u32max
PARAM_VALUE 0 socket->private 4096-ptr_max
PARAM_VALUE 0 socket->type 4096-ptr_max
PARAM_VALUE 0 socket->type->save_state 3963908926503038976,5590677373808128000
PARAM_VALUE 1 offset 132
BUF_SIZE 0 socket s32min-(-2),1-s32max
BUF_SIZE 0 socket s32min-(-2),1-s32max
DATA_SOURCE 0 socket $0
RX_PATH
TASK_NOT_RUNNING

drivers/pcmcia/yenta_socket.c ricoh_save_state() -> config_readw()

Type Parameter Key Value
PARAM_VALUE 0 socket 4096-ptr_max
PARAM_VALUE 0 socket->dev 4096-ptr_max
PARAM_VALUE 0 socket->dev->error_state 0-2,4-u32max
PARAM_VALUE 0 socket->private 4096-ptr_max
PARAM_VALUE 0 socket->type 4096-ptr_max
PARAM_VALUE 0 socket->type->save_state 3963908926503038976,5590677373808128000
PARAM_VALUE 1 offset 136
BUF_SIZE 0 socket s32min-(-2),1-s32max
BUF_SIZE 0 socket s32min-(-2),1-s32max
DATA_SOURCE 0 socket $0
RX_PATH
TASK_NOT_RUNNING

drivers/pcmcia/yenta_socket.c ricoh_save_state() -> config_readw()

Type Parameter Key Value
PARAM_VALUE 0 socket 4096-ptr_max
PARAM_VALUE 0 socket->dev 4096-ptr_max
PARAM_VALUE 0 socket->dev->error_state 0-2,4-u32max
PARAM_VALUE 0 socket->private 4096-ptr_max
PARAM_VALUE 0 socket->type 4096-ptr_max
PARAM_VALUE 0 socket->type->save_state 3963908926503038976,5590677373808128000
PARAM_VALUE 1 offset 138
BUF_SIZE 0 socket s32min-(-2),1-s32max
BUF_SIZE 0 socket s32min-(-2),1-s32max
DATA_SOURCE 0 socket $0
RX_PATH
TASK_NOT_RUNNING

drivers/pcmcia/yenta_socket.c ricoh_save_state() -> config_readw()

Type Parameter Key Value
PARAM_VALUE 0 socket 4096-ptr_max
PARAM_VALUE 0 socket->dev 4096-ptr_max
PARAM_VALUE 0 socket->dev->error_state 0-2,4-u32max
PARAM_VALUE 0 socket->private 4096-ptr_max
PARAM_VALUE 0 socket->type 4096-ptr_max
PARAM_VALUE 0 socket->type->save_state 3963908926503038976,5590677373808128000
PARAM_VALUE 1 offset 128
BUF_SIZE 0 socket s32min-(-2),1-s32max
BUF_SIZE 0 socket s32min-(-2),1-s32max
DATA_SOURCE 0 socket $0
RX_PATH
TASK_NOT_RUNNING

drivers/pcmcia/yenta_socket.c ricoh_set_clkrun() -> config_readw()

Type Parameter Key Value
PARAM_VALUE 0 socket 4096-ptr_max
PARAM_VALUE 0 socket->dev 4096-ptr_max
PARAM_VALUE 0 socket->dev->device 1142,1144
PARAM_VALUE 0 socket->dev->error_state 0-2,4-u32max
PARAM_VALUE 0 socket->dev->revision 128-255
PARAM_VALUE 0 socket->type 4096-ptr_max
PARAM_VALUE 0 socket->type->restore_state 0,366204412296683520,4996582253645987840,7469591332996747264
PARAM_VALUE 1 offset 162
BUF_SIZE 0 socket s32min-(-2),1-s32max
BUF_SIZE 0 socket s32min-(-2),1-s32max
BUF_SIZE 0 socket->dev (-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,7472,8064
BUF_SIZE 0 socket->socket.cb_dev (-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,7472,8064
BUF_SIZE 0 socket->socket.dev.parent (-1),1616
BUF_SIZE 0 socket->socket.driver_data (-1),2792
BUF_SIZE 0 socket->socket.ops (-1),48
DATA_SOURCE 0 socket $0
FUZZY_MAX 0 socket->dev->revision 128
BIT_INFO 0 socket->dev->device 0x470,0x47e
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 socket->dev->current_state 0-3[c]
HOST_DATA 0 socket->socket.cb_dev->current_state 0-3[c]

drivers/pcmcia/yenta_socket.c yenta_config_init() -> config_readw()

Type Parameter Key Value
PARAM_VALUE 0 socket 4096-ptr_max
PARAM_VALUE 0 socket->dev 4096-ptr_max
PARAM_VALUE 0 socket->dev->bus 4096-ptr_max
PARAM_VALUE 0 socket->dev->bus->ops 4096-ptr_max
PARAM_VALUE 0 socket->dev->bus->ops->write 4096-ptr_max
PARAM_VALUE 0 socket->dev->dev.bus 0,4096-ptr_max
PARAM_VALUE 0 socket->dev->dev.class 0,4096-ptr_max
PARAM_VALUE 0 socket->dev->driver 4096-ptr_max
PARAM_VALUE 0 socket->dev->error_state 0-2,4-u32max
PARAM_VALUE 0 socket->dev->resource 4096-ptr_max
PARAM_VALUE 0 socket->dev->subordinate 4096-ptr_max
PARAM_VALUE 0 socket->socket.cb_dev 4096-ptr_max
PARAM_VALUE 0 socket->socket.cb_dev->dev.bus 0,4096-ptr_max
PARAM_VALUE 0 socket->socket.cb_dev->dev.class 0,4096-ptr_max
PARAM_VALUE 0 socket->socket.cb_dev->driver 4096-ptr_max
PARAM_VALUE 0 socket->socket.cb_dev->subordinate 1-u64max
PARAM_VALUE 0 socket->socket.dev.parent 4096-ptr_max
PARAM_VALUE 0 socket->socket.dev.parent->bus 0,4096-ptr_max
PARAM_VALUE 0 socket->socket.dev.parent->class 0,4096-ptr_max
PARAM_VALUE 0 socket->socket.driver_data 4096-ptr_max
PARAM_VALUE 0 socket->socket.features 16385
PARAM_VALUE 0 socket->socket.map_size 4096
PARAM_VALUE 0 socket->socket.ops 8995878230654881792
PARAM_VALUE 0 socket->socket.owner 0
PARAM_VALUE 0 socket->socket.resource_ops 8544649435201912832
PARAM_VALUE 1 offset 62
BUF_SIZE 0 socket 2792
BUF_SIZE 0 socket->dev (-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,7472,8064
BUF_SIZE 0 socket->socket.cb_dev (-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,7472,8064
BUF_SIZE 0 socket->socket.dev.parent 1616
BUF_SIZE 0 socket->socket.driver_data 2792
BUF_SIZE 0 socket->socket.ops 48
DATA_SOURCE 0 socket $0
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 socket->dev->bus->bridge_ctl 0-u16max
HOST_DATA 0 socket->dev->current_state 0-3[c]
HOST_DATA 0 socket->socket.cb_dev->current_state 0-3[c]

drivers/pcmcia/yenta_socket.c yenta_set_socket() -> config_readw()

Type Parameter Key Value
PARAM_VALUE 0 socket 4096-ptr_max
PARAM_VALUE 0 socket->io_irq 0-255
PARAM_VALUE 1 offset 62
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &sock->ops_mutex
HALF_LOCKED2 &sock->skt_mutex
HALF_LOCKED2 global &pcmcia_vpp_lock