Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/nvme/host/pci.c nvme_pci_enable() -> nvme_map_cmb()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->ctrl.device->kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 dev->ctrl.fabrics_q->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 dev->ctrl.ops->delete_ctrl 0,1920686349575958528,5899820809454854144,7007803071014739968,7097214099129487360
PARAM_VALUE 0 dev->ctrl.ops->dev_attr_groups 0,5168144528530202624
PARAM_VALUE 0 dev->ctrl.ops->flags 0-3,5
PARAM_VALUE 0 dev->ctrl.ops->free_ctrl 517665950177808384,1126249724203192320,3284914892918046720,3804682492947304448,3909974550714929152,4580989929805783040
PARAM_VALUE 0 dev->ctrl.ops->get_address 2502642403419095040,5987342577172975616,6754448645885935616,8239601546056785920
PARAM_VALUE 0 dev->ctrl.ops->get_virt_boundary 37735941093339136,96801892838526976,2981799758062063616,5899034719608918016,6587715906375786496,7771460932748754944
PARAM_VALUE 0 dev->ctrl.ops->module 0
PARAM_VALUE 0 dev->ctrl.ops->name 303003381828526080,1134212543016304640,2128689074804338688,6773402122967007232,8343925093408751616,8570699870683336704
PARAM_VALUE 0 dev->ctrl.ops->print_device_info 0,7842841690525282304
PARAM_VALUE 0 dev->ctrl.ops->reg_read32 43452004001030144,5578377092941922304,7799053347571187712
PARAM_VALUE 0 dev->ctrl.ops->reg_read64 254817723653337088,259510936269361152,7214456386873425920
PARAM_VALUE 0 dev->ctrl.ops->reg_write32 907677738946211840,5526130125243129856,8151996120436199424
PARAM_VALUE 0 dev->ctrl.ops->stop_ctrl 0,3993000789289922560,4364300601627938816
PARAM_VALUE 0 dev->ctrl.ops->submit_async_event 0,2902648389930782720,3338455441981890560,7054102392111636480,7867854895656026112,8935516955552481280
PARAM_VALUE 0 dev->ctrl.ops->subsystem_reset 0,7560321172059889664,8981646978549547008
PARAM_VALUE 0 dev->ctrl.ops->supports_pci_p2pdma 0,304869802595840000,8862586920643358720
PARAM_VALUE 0 dev->ctrl.srcu.dep_map->name 0-255
PARAM_VALUE 0 dev->ctrl.srcu.srcu_ctrp 4096-ptr_max
PARAM_VALUE 0 dev->ctrl.state 0,2
PARAM_VALUE 0 dev->dbs 4096-ptr_max
PARAM_VALUE 0 dev->io_sqes 6-7
PARAM_VALUE 0 dev->q_depth 0-65536
PARAM_VALUE 0 dev->shutdown_lock.dep_map->name 0-255
PARAM_VALUE 0 dev->shutdown_lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 dev->shutdown_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 dev->shutdown_lock.osq.tail.counter 0-s32max
BUF_SIZE 0 dev (-1),7088-23472
BUF_SIZE 0 dev (-1),7088-23472
CAPPED_DATA 0 dev->ctrl.sqsize 1
CAPPED_DATA 0 dev->ctrl.srcu.srcu_ctrp 1
CAPPED_DATA 0 dev->q_depth 1
DATA_SOURCE 0 dev $0
FUZZY_MAX 0 dev->io_sqes 7
FUZZY_MAX 0 dev->q_depth 64
BIT_INFO 0 dev->io_sqes 0x6,0x7
POWER_OF_TWO 0 *dev
HARD_MAX 0 dev->ctrl.state 2
HARD_MAX 0 dev->io_sqes 7
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 dev->ctrl.cap 0-u64max
HOST_DATA 0 dev->ctrl.sqsize 0-u16max[c]
HOST_DATA 0 dev->q_depth 1-65536[c]
NO_OVERFLOW_SIMPLE 0 dev->ctrl.cdev.count
NO_OVERFLOW_SIMPLE 0 dev->ctrl.ctrl_key->len
NO_OVERFLOW_SIMPLE 0 dev->ctrl.host_key->len
NO_OVERFLOW_SIMPLE 0 dev->dmavec_mempool->min_nr
NO_OVERFLOW_SIMPLE 0 dev->nr_allocated_queues
HALF_LOCKED2 0 &dev->shutdown_lock