Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/misc/hpilo.c ilo_probe() -> ilo_unmap_device()

Type Parameter Key Value
PARAM_VALUE 0 pdev 4096-ptr_max
PARAM_VALUE 0 pdev->bus->self->link_bwctrl->cdev (-22),(-19),(-12),0-s64max
PARAM_VALUE 0 pdev->dev.driver_data 4096-ptr_max
PARAM_VALUE 0 pdev->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 pdev->driver 4096-ptr_max
PARAM_VALUE 0 pdev->driver->err_handler 0,4096-ptr_max
PARAM_VALUE 0 pdev->error_state 0-2,4-u32max
PARAM_VALUE 0 pdev->is_busmaster 1
PARAM_VALUE 0 pdev->link_bwctrl->cdev 0-s64max
PARAM_VALUE 0 pdev->pcie_cap 0-1
PARAM_VALUE 0 *pdev->saved_config_space 0-4294967295
PARAM_VALUE 1 hw 4096-ptr_max
PARAM_VALUE 1 hw->cdev.count 0,8-24
PARAM_VALUE 1 hw->cdev.dev 0,1048576-4293918720
PARAM_VALUE 1 hw->cdev.kobj.entry.next 0,4096-ptr_max
PARAM_VALUE 1 hw->cdev.kobj.entry.next->next 4096-ptr_max
PARAM_VALUE 1 hw->cdev.kobj.entry.prev 0,4096-ptr_max
PARAM_VALUE 1 hw->cdev.kobj.entry.prev->next 4096-ptr_max
PARAM_VALUE 1 hw->cdev.kobj.entry.prev->prev 4096-ptr_max
PARAM_VALUE 1 hw->cdev.kobj.kref.refcount.refs.counter 0-1
PARAM_VALUE 1 hw->cdev.kobj.kset 0
PARAM_VALUE 1 hw->cdev.kobj.ktype 0,1499647686170447872
PARAM_VALUE 1 hw->cdev.kobj.name 0
PARAM_VALUE 1 hw->cdev.kobj.parent 0
PARAM_VALUE 1 hw->cdev.kobj.release.cpu 0
PARAM_VALUE 1 hw->cdev.kobj.release.timer.expires 0
PARAM_VALUE 1 hw->cdev.kobj.release.timer.flags 0
PARAM_VALUE 1 hw->cdev.kobj.release.work.func 0
PARAM_VALUE 1 hw->cdev.kobj.release.wq 0
PARAM_VALUE 1 hw->cdev.kobj.sd 0
PARAM_VALUE 1 hw->cdev.kobj.state_add_uevent_sent 0
PARAM_VALUE 1 hw->cdev.kobj.state_in_sysfs 0
PARAM_VALUE 1 hw->cdev.kobj.state_initialized 0
PARAM_VALUE 1 hw->cdev.kobj.uevent_suppress 0
PARAM_VALUE 1 hw->cdev.list.next 0,4096-ptr_max
PARAM_VALUE 1 hw->cdev.list.next->next 4096-ptr_max
PARAM_VALUE 1 hw->cdev.list.prev 0,4096-ptr_max
PARAM_VALUE 1 hw->cdev.list.prev->next 4096-ptr_max
PARAM_VALUE 1 hw->cdev.list.prev->prev 4096-ptr_max
PARAM_VALUE 1 hw->cdev.ops 0,8782730389890142208
PARAM_VALUE 1 hw->cdev.owner 0
PARAM_VALUE 1 hw->db_vaddr 4096-ptr_max
PARAM_VALUE 1 hw->ilo_dev 4096-ptr_max
PARAM_VALUE 1 hw->ilo_dev->driver 4096-ptr_max
PARAM_VALUE 1 hw->ilo_dev->pcie_cap 0-1
PARAM_VALUE 1 hw->mmio_vaddr 4096-ptr_max
PARAM_VALUE 1 hw->ram_vaddr 65536-131071
BUF_SIZE 0 pdev (-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,8064
BUF_SIZE 0 pdev (-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,8064
BUF_SIZE 1 hw 728
BUF_SIZE 1 hw->ilo_dev (-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,8064
CAPPED_DATA 0 pdev 1
CAPPED_DATA 1 hw 1
CAPPED_DATA 1 hw->mmio_vaddr 1
CAPPED_DATA 1 hw->ram_vaddr 1
DATA_SOURCE 0 pdev $0
DATA_SOURCE 1 hw r _kzalloc_noprof
FUZZY_MAX 1 hw->cdev.count 0
FUZZY_MAX 1 hw->cdev.dev 0
FUZZY_MAX 1 hw->cdev.kobj.kref.refcount.refs.counter 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 pdev->current_state 0-3[c]
HOST_DATA 1 hw->ilo_dev->current_state 0-3[c]
NO_OVERFLOW_SIMPLE 1 hw->cdev.count
UNITS 1 hw unit_byte
HALF_LOCKED2 0 &pdev->dev.mutex

drivers/misc/hpilo.c ilo_remove() -> ilo_unmap_device()

Type Parameter Key Value
PARAM_VALUE 0 pdev 4096-ptr_max
PARAM_VALUE 0 pdev->bus->self->link_bwctrl->cdev (-22),(-19),(-12),0-s64max
PARAM_VALUE 0 pdev->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 pdev->driver 4096-ptr_max
PARAM_VALUE 0 pdev->driver->err_handler 0,4096-ptr_max
PARAM_VALUE 0 pdev->link_bwctrl->cdev 0-s64max
PARAM_VALUE 0 *pdev->saved_config_space 0-4294967295
PARAM_VALUE 1 hw 4096-ptr_max
BUF_SIZE 0 pdev (-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,8064
BUF_SIZE 0 pdev (-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,8064
BUF_SIZE 1 hw s32min-(-2),1-s32max
BUF_SIZE 1 hw s32min-(-2),1-s32max
CAPPED_DATA 0 pdev 1
CAPPED_DATA 1 hw 1
DATA_SOURCE 0 pdev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 pdev->current_state 0-3[c]
UNITS 1 hw unit_byte
HALF_LOCKED2 0 &pdev->dev.mutex