Documented in 1 files:
Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 3 files:
- drivers/comedi/drivers.c
- drivers/comedi/drivers/8255.c, line 80
- include/linux/comedi/comedidev.h, line 1054
Smatch caller information:
drivers/comedi/drivers/das1800.c __comedi_request_region() -> __comedi_check_request_region()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->attached | 0 |
| PARAM_VALUE | 0 | dev->board_ptr | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->driver | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->driver->attach | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->driver->board_name | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->driver->module | 0 |
| PARAM_VALUE | 0 | dev->driver->num_names | 0-5,7-8,11,13-14,18,22 |
| PARAM_VALUE | 0 | dev->iobase | 1-s32max,18446744071562067968-u64max |
| PARAM_VALUE | 0 | dev->iolen | 16 |
| PARAM_VALUE | 0 | dev->minor | s32min-65534 |
| PARAM_VALUE | 0 | dev->mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->mutex.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | dev->mutex.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | dev->mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | dev->mutex.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->mutex.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | dev->mutex.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | dev->private | 4096-ptr_max |
| PARAM_VALUE | 1 | start | 1025-2147484671 |
| PARAM_VALUE | 2 | len | 16 |
| PARAM_VALUE | 3 | minstart | 0 |
| PARAM_VALUE | 4 | maxend | u64max |
| PARAM_VALUE | 5 | minalign | 1 |
| CAPPED_DATA | 0 | dev->minor | 1 |
| DATA_SOURCE | 0 | dev | $0 |
| DATA_SOURCE | 1 | start | $1 |
| DATA_SOURCE | 2 | len | $2 |
| CAPABLE | 0 | 21 | |
| NOSPEC | 0 | dev->iobase | |
| USER_DATA | 0 | dev->iobase | 1-s32max,18446744071562067968-u64max[c] |
| USER_DATA | 1 | start | 1025-2147484671[c] |
| UNITS | 1 | start | unit_byte |
| LOCK2 | global &comedi_drivers_list_lock | ||
| LOCK2 | 0 | &dev->mutex | |
| TYPE_LOCK | (struct comedi_device)->mutex |
drivers/comedi/drivers/das16.c __comedi_request_region() -> __comedi_check_request_region()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->attached | 0 |
| PARAM_VALUE | 0 | dev->board_ptr | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->driver | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->driver->attach | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->driver->board_name | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->driver->module | 0 |
| PARAM_VALUE | 0 | dev->driver->num_names | 0-5,7-8,11,13-14,18,22 |
| PARAM_VALUE | 0 | dev->iobase | 1-u32max |
| PARAM_VALUE | 0 | dev->iolen | 16 |
| PARAM_VALUE | 0 | dev->minor | s32min-65534 |
| PARAM_VALUE | 0 | dev->mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->mutex.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | dev->mutex.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | dev->mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | dev->mutex.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->mutex.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | dev->mutex.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | dev->private | 4096-ptr_max |
| PARAM_VALUE | 1 | start | 1025-4294968319 |
| PARAM_VALUE | 2 | len | 0-1023 |
| PARAM_VALUE | 3 | minstart | 0 |
| PARAM_VALUE | 4 | maxend | u64max |
| PARAM_VALUE | 5 | minalign | 1 |
| CAPPED_DATA | 0 | dev->minor | 1 |
| DATA_SOURCE | 0 | dev | $0 |
| DATA_SOURCE | 1 | start | $1 |
| DATA_SOURCE | 2 | len | $2 |
| CAPABLE | 0 | 21 | |
| NOSPEC | 0 | dev->iobase | |
| USER_DATA | 0 | dev->iobase | 1-u32max[c] |
| USER_DATA | 1 | start | 1025-4294968319[c] |
| UNITS | 1 | start | unit_byte |
| LOCK2 | global &comedi_drivers_list_lock | ||
| LOCK2 | 0 | &dev->mutex | |
| TYPE_LOCK | (struct comedi_device)->mutex |
drivers/comedi/drivers.c comedi_check_request_region() -> __comedi_check_request_region()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->attached | 0 |
| PARAM_VALUE | 0 | dev->board_ptr | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->driver | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->driver->attach | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->driver->board_name | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->driver->module | 0 |
| PARAM_VALUE | 0 | dev->driver->num_names | 0-5,7-8,11,13-14,18,22 |
| PARAM_VALUE | 0 | dev->minor | s32min-65534 |
| PARAM_VALUE | 0 | dev->mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->mutex.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | dev->mutex.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | dev->mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | dev->mutex.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | dev->mutex.wait_lock.owner_cpu | u32max |
| CAPPED_DATA | 0 | dev->minor | 1 |
| DATA_SOURCE | 0 | dev | $0 |
| DATA_SOURCE | 1 | start | $1 |
| DATA_SOURCE | 2 | len | $2 |
| DATA_SOURCE | 3 | minstart | $3 |
| DATA_SOURCE | 4 | maxend | $4 |
| DATA_SOURCE | 5 | minalign | $5 |
| CAPABLE | 0 | 21 | |
| USER_DATA | 1 | start | 0-u32max,18446744071562067968-u64max |
| LOCK2 | global &comedi_drivers_list_lock | ||
| LOCK2 | 0 | &dev->mutex | |
| TYPE_LOCK | (struct comedi_device)->mutex |
drivers/comedi/drivers/8255.c dev_8255_attach() -> __comedi_check_request_region()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->attached | 0 |
| PARAM_VALUE | 0 | dev->board_ptr | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->driver | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->driver->attach | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->driver->board_name | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->driver->module | 0 |
| PARAM_VALUE | 0 | dev->driver->num_names | 0-5,7-8,11,13-14,18,22 |
| PARAM_VALUE | 0 | dev->minor | s32min-65534 |
| PARAM_VALUE | 0 | dev->mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->mutex.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | dev->mutex.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | dev->mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | dev->mutex.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->mutex.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | dev->mutex.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | dev->mutex.wait_lock.raw_lock.val.counter | 0-s32max |
| PARAM_VALUE | 0 | dev->n_subdevices | 1-32 |
| PARAM_VALUE | 0 | dev->subdevices | 4096-ptr_max |
| PARAM_VALUE | 2 | len | 4 |
| PARAM_VALUE | 3 | minstart | 0 |
| PARAM_VALUE | 4 | maxend | u32max |
| PARAM_VALUE | 5 | minalign | 4 |
| CAPPED_DATA | 0 | dev->minor | 1 |
| DATA_SOURCE | 0 | dev | $0 |
| CAPABLE | 0 | 21 | |
| NOSPEC | 1 | start | |
| USER_DATA | 1 | start | 0-u32max |
| NO_OVERFLOW_SIMPLE | 0 | dev->n_subdevices | |
| LOCK2 | global &comedi_drivers_list_lock | ||
| LOCK2 | 0 | &dev->mutex | |
| TYPE_LOCK | (struct comedi_device)->mutex |
drivers/comedi/drivers/das16m1.c __comedi_request_region() -> __comedi_check_request_region()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->attached | 0 |
| PARAM_VALUE | 0 | dev->board_ptr | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->driver | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->driver->attach | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->driver->board_name | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->driver->module | 0 |
| PARAM_VALUE | 0 | dev->driver->num_names | 0-5,7-8,11,13-14,18,22 |
| PARAM_VALUE | 0 | dev->iobase | 1-s32max,18446744071562067968-u64max |
| PARAM_VALUE | 0 | dev->iolen | 16 |
| PARAM_VALUE | 0 | dev->minor | s32min-65534 |
| PARAM_VALUE | 0 | dev->mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->mutex.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | dev->mutex.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | dev->mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | dev->mutex.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->mutex.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | dev->mutex.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | dev->private | 4096-ptr_max |
| PARAM_VALUE | 1 | start | 1025-2147484671 |
| PARAM_VALUE | 2 | len | 8 |
| PARAM_VALUE | 3 | minstart | 0 |
| PARAM_VALUE | 4 | maxend | u64max |
| PARAM_VALUE | 5 | minalign | 1 |
| CAPPED_DATA | 0 | dev->minor | 1 |
| DATA_SOURCE | 0 | dev | $0 |
| DATA_SOURCE | 1 | start | $1 |
| DATA_SOURCE | 2 | len | $2 |
| CAPABLE | 0 | 21 | |
| NOSPEC | 0 | dev->iobase | |
| USER_DATA | 0 | dev->iobase | 1-s32max,18446744071562067968-u64max[c] |
| USER_DATA | 1 | start | 1025-2147484671[c] |
| UNITS | 1 | start | unit_byte |
| LOCK2 | global &comedi_drivers_list_lock | ||
| LOCK2 | 0 | &dev->mutex | |
| TYPE_LOCK | (struct comedi_device)->mutex |