Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/pcmcia/yenta_socket.c show_yenta_registers() -> exca_readb()

Type Parameter Key Value
PARAM_VALUE 0 socket 4096-ptr_max
PARAM_VALUE 1 reg 0-68
BUF_SIZE 0 socket s32min-(-2),1-s32max
BUF_SIZE 0 socket s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
UNITS 0 socket unit_byte
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

drivers/pcmcia/yenta_socket.c ti113x_use_isa_irq() -> exca_readb()

Type Parameter Key Value
PARAM_VALUE 0 socket 4096-ptr_max
PARAM_VALUE 0 socket->cb_irq 0-s32max
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->read 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->irq 0
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 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 reg 3
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]
HALF_LOCKED2 &pool->lock

drivers/pcmcia/yenta_socket.c ti_init() -> exca_readb()

Type Parameter Key Value
PARAM_VALUE 0 socket 4096-ptr_max
PARAM_VALUE 0 socket->type 4096-ptr_max
PARAM_VALUE 0 socket->type->sock_init 0,8234399556371169280
PARAM_VALUE 1 reg 3
BUF_SIZE 0 socket->dev (-1),1-s32max
BUF_SIZE 0 socket->socket.cb_dev (-1),1-s32max
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
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 ti_override() -> exca_readb()

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->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 reg 3
BUF_SIZE 0 socket (-1),2792
BUF_SIZE 0 socket (-1),2792
BUF_SIZE 0 socket->dev (-1),1-s32max
BUF_SIZE 0 socket->socket.cb_dev (-1),1-s32max
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]
UNITS 0 socket unit_byte

drivers/pcmcia/yenta_socket.c topic95_override() -> exca_readb()

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 reg 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->current_state 0-3[c]
HOST_DATA 0 socket->socket.cb_dev->current_state 0-3[c]

drivers/pcmcia/yenta_socket.c yenta_get_status() -> exca_readb()

Type Parameter Key Value
PARAM_VALUE 0 socket 4096-ptr_max
PARAM_VALUE 1 reg 1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &sock->ops_mutex
HALF_LOCKED2 &sock->ops_mutex
HALF_LOCKED2 &sock->skt_mutex
HALF_LOCKED2 &sock->skt_mutex

drivers/pcmcia/yenta_socket.c yenta_get_status() -> exca_readb()

Type Parameter Key Value
PARAM_VALUE 0 socket 4096-ptr_max
PARAM_VALUE 1 reg 3
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &sock->ops_mutex
HALF_LOCKED2 &sock->ops_mutex
HALF_LOCKED2 &sock->skt_mutex
HALF_LOCKED2 &sock->skt_mutex

drivers/pcmcia/yenta_socket.c yenta_interrupt() -> exca_readb()

Type Parameter Key Value
PARAM_VALUE 0 socket 4096-ptr_max
PARAM_VALUE 1 reg 4
DATA_SOURCE 0 socket $1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 flags

drivers/pcmcia/yenta_socket.c yenta_interrupt() -> exca_readb()

Type Parameter Key Value
PARAM_VALUE 0 socket 4096-ptr_max
PARAM_VALUE 1 reg 3
DATA_SOURCE 0 socket $1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 flags

drivers/pcmcia/yenta_socket.c yenta_probe_cb_irq() -> exca_readb()

Type Parameter Key Value
PARAM_VALUE 0 socket 4096-ptr_max
PARAM_VALUE 0 socket->base 4096-ptr_max
PARAM_VALUE 0 socket->cb_irq s32min-(-1),1-s32max
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->read 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->dev.driver 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->irq 0
PARAM_VALUE 0 socket->dev->subordinate 4096-ptr_max
PARAM_VALUE 0 socket->probe_status 0
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 reg 5
BUF_SIZE 0 socket->dev (-1),1-s32max
BUF_SIZE 0 socket->socket.cb_dev (-1),1-s32max
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 yenta_probe_cb_irq() -> exca_readb()

Type Parameter Key Value
PARAM_VALUE 0 socket 4096-ptr_max
PARAM_VALUE 0 socket->base 4096-ptr_max
PARAM_VALUE 0 socket->cb_irq s32min-(-1),1-s32max
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->read 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->dev.driver 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->probe_status 0
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 reg 4
BUF_SIZE 0 socket->dev (-1),1-s32max
BUF_SIZE 0 socket->socket.cb_dev (-1),1-s32max
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
NOCHECK_CALL
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_probe_handler() -> exca_readb()

Type Parameter Key Value
PARAM_VALUE 0 socket 4096-ptr_max
PARAM_VALUE 1 reg 4
DATA_SOURCE 0 socket $1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 flags

drivers/pcmcia/yenta_socket.c yenta_probe_irq() -> exca_readb()

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->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,49153
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 reg 5
BUF_SIZE 0 socket (-1),2792
BUF_SIZE 0 socket (-1),2792
BUF_SIZE 0 socket->dev (-1),1-s32max
BUF_SIZE 0 socket->socket.cb_dev (-1),1-s32max
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
FUZZY_MAX 0 socket->socket.features 16385
BIT_INFO 0 socket->socket.features 0x4001,0xffffffffffffffff
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]
HALF_LOCKED2 &pool->lock

drivers/pcmcia/yenta_socket.c yenta_set_io_map() -> exca_readb()

Type Parameter Key Value
PARAM_VALUE 0 socket 4096-ptr_max
PARAM_VALUE 1 reg 6
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &sock->ops_mutex

drivers/pcmcia/yenta_socket.c yenta_set_io_map() -> exca_readb()

Type Parameter Key Value
PARAM_VALUE 0 socket 4096-ptr_max
PARAM_VALUE 1 reg 7
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &sock->ops_mutex

drivers/pcmcia/yenta_socket.c yenta_set_mem_map() -> exca_readb()

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 1 reg 6
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &sock->ops_mutex
HALF_LOCKED2 &sock->skt_mutex
HALF_LOCKED2 &sp->mutex

drivers/pcmcia/yenta_socket.c yenta_set_power() -> exca_readb()

Type Parameter Key Value
PARAM_VALUE 0 socket 4096-ptr_max
PARAM_VALUE 0 socket->flags 1-u32max
PARAM_VALUE 1 reg 2
DATA_SOURCE 0 socket $0
BIT_INFO 0 socket->flags 0x1,0xffffffff
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &sock->ops_mutex
HALF_LOCKED2 &sock->skt_mutex
HALF_LOCKED2 global &pcmcia_vpp_lock

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

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->io_irq 0-255
PARAM_VALUE 1 reg 3
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &sock->ops_mutex
HALF_LOCKED2 &sock->skt_mutex
HALF_LOCKED2 global &pcmcia_vpp_lock

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

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->io_irq 0-255
PARAM_VALUE 1 reg 3
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &sock->ops_mutex
HALF_LOCKED2 &sock->skt_mutex
HALF_LOCKED2 global &pcmcia_vpp_lock

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

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->io_irq 0-255
PARAM_VALUE 1 reg 2
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &sock->ops_mutex
HALF_LOCKED2 &sock->skt_mutex
HALF_LOCKED2 global &pcmcia_vpp_lock

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

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->io_irq 0-255
PARAM_VALUE 1 reg 2
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &sock->ops_mutex
HALF_LOCKED2 &sock->skt_mutex
HALF_LOCKED2 global &pcmcia_vpp_lock

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

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->io_irq 0-255
PARAM_VALUE 1 reg 5
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &sock->ops_mutex
HALF_LOCKED2 &sock->skt_mutex
HALF_LOCKED2 global &pcmcia_vpp_lock

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

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->io_irq 0-255
PARAM_VALUE 1 reg 4
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &sock->ops_mutex
HALF_LOCKED2 &sock->skt_mutex
HALF_LOCKED2 global &pcmcia_vpp_lock