Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/ssb/main.c ssb_bus_register() -> ssb_iounmap()

Type Parameter Key Value
PARAM_VALUE 0 bus 4096-ptr_max
PARAM_VALUE 0 bus->busnumber 0-13
PARAM_VALUE 0 bus->bustype 0-3
PARAM_VALUE 0 bus->list.next 4096-ptr_max
PARAM_VALUE 0 bus->list.next->next 4096-ptr_max
PARAM_VALUE 0 bus->list.prev 4096-ptr_max
PARAM_VALUE 0 bus->list.prev->next 4096-ptr_max
PARAM_VALUE 0 bus->list.prev->prev 4096-ptr_max
PARAM_VALUE 0 bus->ops 1236619403580723200,1906250246210007040,2807846452821266432,2990613140242620416
BUF_SIZE 0 bus (-1),2552
BUF_SIZE 0 bus (-1),2552
BUF_SIZE 0 bus->host_pci (-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,7472,8064
BUF_SIZE 0 bus->ops 64
DATA_SOURCE 0 bus $0
HARD_MAX 0 bus->bustype 3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 bus->chipco->dev->bus->host_sdio->tmpbuf 0-255
HOST_DATA 0 bus->chipco.capabilities 0-u32max
HOST_DATA 0 bus->chipco.dev->bus->chipco.capabilities 0-u32max
HOST_DATA 0 bus->chipco.dev->bus->chipco.max_timer_ms 2114-u16max,541200-u32max[c]
HOST_DATA 0 bus->chipco.dev->bus->chipco.status 0-u32max
HOST_DATA 0 bus->chipco.dev->bus->chipco.ticks_per_ms 1-31[c]
HOST_DATA 0 bus->chipco.max_timer_ms 2114-u16max,541200-u32max[c]
HOST_DATA 0 bus->chipco.status 0-u32max
HOST_DATA 0 bus->chipco.ticks_per_ms 1-31[c]
HOST_DATA 0 bus->host_pci->current_state 0-3[c]
HOST_DATA 0 *bus->chipco->dev->bus->host_sdio->tmpbuf 0-255
USER_DATA 0 bus->boardinfo.type 0

drivers/ssb/main.c ssb_bus_unregister() -> ssb_iounmap()

Type Parameter Key Value
PARAM_VALUE 0 bus 4096-ptr_max
BUF_SIZE 0 bus s32min-(-1),1-s32max
BUF_SIZE 0 bus s32min-(-1),1-s32max
DATA_SOURCE 0 bus $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 bus unit_byte
HALF_LOCKED2 &dev->mutex