Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/platform/x86/eeepc-laptop.c eeepc_rfkill_exit() -> eeepc_unregister_rfkill_notifier()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | eeepc | 4096-ptr_max |
| PARAM_VALUE | 0 | eeepc->platform_device->dev.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | eeepc->platform_device->dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | eeepc->tpd_led.dev->dma_io_tlb_mem->can_grow | 0-1 |
| PARAM_VALUE | 0 | eeepc->tpd_led.dev->dma_io_tlb_mem->debugfs | 0-s64max |
| PARAM_VALUE | 0 | eeepc->tpd_led.dev->dma_io_tlb_mem->for_alloc | 0-1 |
| PARAM_VALUE | 0 | eeepc->tpd_led.dev->dma_io_tlb_mem->force_bounce | 0-1 |
| PARAM_VALUE | 0 | eeepc->tpd_led.dev->dma_io_tlb_mem->nslabs | 0-s64max |
| PARAM_VALUE | 0 | eeepc->tpd_led.dev->dma_io_tlb_mem->phys_limit | 0-s64max |
| PARAM_VALUE | 0 | eeepc->tpd_led.dev->kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | eeepc->tpd_led.trigger_lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | eeepc->tpd_led.trigger_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | node | 1710852182812987392 |
| BUF_SIZE | 0 | eeepc | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | eeepc | s32min-(-2),1-s32max |
| BUF_SIZE | 1 | node | 15 |
| DATA_SOURCE | 0 | eeepc | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | eeepc->backlight_device->props.brightness | |
| NO_OVERFLOW_SIMPLE | 0 | eeepc->backlight_device->props.max_brightness | |
| NO_OVERFLOW_SIMPLE | 0 | eeepc->inputdev->keycodemax | |
| NO_OVERFLOW_SIMPLE | 0 | eeepc->inputdev->max_vals | |
| NO_OVERFLOW_SIMPLE | 0 | eeepc->platform_device->pdev.id | |
| NO_OVERFLOW_SIMPLE | 0 | eeepc->tpd_led.blink_delay_off | |
| NO_OVERFLOW_SIMPLE | 0 | eeepc->tpd_led.blink_delay_on | |
| UNITS | 0 | eeepc | unit_byte |
| HALF_LOCKED2 | &_dev->mutex |
drivers/platform/x86/eeepc-laptop.c eeepc_rfkill_exit() -> eeepc_unregister_rfkill_notifier()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | eeepc | 4096-ptr_max |
| PARAM_VALUE | 0 | eeepc->platform_device->dev.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | eeepc->platform_device->dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | eeepc->tpd_led.dev->dma_io_tlb_mem->can_grow | 0-1 |
| PARAM_VALUE | 0 | eeepc->tpd_led.dev->dma_io_tlb_mem->debugfs | 0-s64max |
| PARAM_VALUE | 0 | eeepc->tpd_led.dev->dma_io_tlb_mem->for_alloc | 0-1 |
| PARAM_VALUE | 0 | eeepc->tpd_led.dev->dma_io_tlb_mem->force_bounce | 0-1 |
| PARAM_VALUE | 0 | eeepc->tpd_led.dev->dma_io_tlb_mem->nslabs | 0-s64max |
| PARAM_VALUE | 0 | eeepc->tpd_led.dev->dma_io_tlb_mem->phys_limit | 0-s64max |
| PARAM_VALUE | 0 | eeepc->tpd_led.dev->kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | eeepc->tpd_led.trigger_lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | eeepc->tpd_led.trigger_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | node | 8375433180153237504 |
| BUF_SIZE | 0 | eeepc | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | eeepc | s32min-(-2),1-s32max |
| BUF_SIZE | 1 | node | 15 |
| DATA_SOURCE | 0 | eeepc | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | eeepc->backlight_device->props.brightness | |
| NO_OVERFLOW_SIMPLE | 0 | eeepc->backlight_device->props.max_brightness | |
| NO_OVERFLOW_SIMPLE | 0 | eeepc->inputdev->keycodemax | |
| NO_OVERFLOW_SIMPLE | 0 | eeepc->inputdev->max_vals | |
| NO_OVERFLOW_SIMPLE | 0 | eeepc->platform_device->pdev.id | |
| NO_OVERFLOW_SIMPLE | 0 | eeepc->tpd_led.blink_delay_off | |
| NO_OVERFLOW_SIMPLE | 0 | eeepc->tpd_led.blink_delay_on | |
| UNITS | 0 | eeepc | unit_byte |
| HALF_LOCKED2 | &_dev->mutex |
drivers/platform/x86/eeepc-laptop.c eeepc_rfkill_exit() -> eeepc_unregister_rfkill_notifier()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | eeepc | 4096-ptr_max |
| PARAM_VALUE | 0 | eeepc->platform_device->dev.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | eeepc->platform_device->dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | eeepc->tpd_led.dev->dma_io_tlb_mem->can_grow | 0-1 |
| PARAM_VALUE | 0 | eeepc->tpd_led.dev->dma_io_tlb_mem->debugfs | 0-s64max |
| PARAM_VALUE | 0 | eeepc->tpd_led.dev->dma_io_tlb_mem->for_alloc | 0-1 |
| PARAM_VALUE | 0 | eeepc->tpd_led.dev->dma_io_tlb_mem->force_bounce | 0-1 |
| PARAM_VALUE | 0 | eeepc->tpd_led.dev->dma_io_tlb_mem->nslabs | 0-s64max |
| PARAM_VALUE | 0 | eeepc->tpd_led.dev->dma_io_tlb_mem->phys_limit | 0-s64max |
| PARAM_VALUE | 0 | eeepc->tpd_led.dev->kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | eeepc->tpd_led.trigger_lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | eeepc->tpd_led.trigger_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | node | 3411772888432054272 |
| BUF_SIZE | 0 | eeepc | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | eeepc | s32min-(-2),1-s32max |
| BUF_SIZE | 1 | node | 15 |
| DATA_SOURCE | 0 | eeepc | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | eeepc->backlight_device->props.brightness | |
| NO_OVERFLOW_SIMPLE | 0 | eeepc->backlight_device->props.max_brightness | |
| NO_OVERFLOW_SIMPLE | 0 | eeepc->inputdev->keycodemax | |
| NO_OVERFLOW_SIMPLE | 0 | eeepc->inputdev->max_vals | |
| NO_OVERFLOW_SIMPLE | 0 | eeepc->platform_device->pdev.id | |
| NO_OVERFLOW_SIMPLE | 0 | eeepc->tpd_led.blink_delay_off | |
| NO_OVERFLOW_SIMPLE | 0 | eeepc->tpd_led.blink_delay_on | |
| UNITS | 0 | eeepc | unit_byte |
| HALF_LOCKED2 | &_dev->mutex |