Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/gpio/gpio-aspeed.c disable_debounce() -> configure_timer()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | gpio | 4096-ptr_max |
| PARAM_VALUE | 0 | gpio->offset_timer | 4096-ptr_max |
| PARAM_VALUE | 0 | *gpio->offset_timer | 0 |
| PARAM_VALUE | 2 | timer | 0 |
| BUF_SIZE | 0 | gpio | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | gpio | s32min-(-2),1-s32max |
| DATA_SOURCE | 0 | gpio | r gpiochip_get_data |
| DATA_SOURCE | 1 | offset | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | irq | ||
| LOCK2 | 0 | &gpio->lock | |
| HALF_LOCKED2 | _T->lock | ||
| TYPE_LOCK | (struct aspeed_gpio)->lock |
drivers/gpio/gpio-aspeed.c enable_debounce() -> configure_timer()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | gpio | 4096-ptr_max |
| PARAM_VALUE | 0 | gpio->clk | 4096-ptr_max |
| PARAM_VALUE | 0 | gpio->clk->core->dev->power.deferred_resume | 0-1 |
| PARAM_VALUE | 0 | gpio->clk->core->dev->power.idle_notification | 0-1 |
| PARAM_VALUE | 0 | gpio->clk->core->dev->power.request | 0-4294967295 |
| PARAM_VALUE | 0 | gpio->clk->core->dev->power.request_pending | 0-1 |
| PARAM_VALUE | 0 | gpio->clk->core->dev->power.runtime_error | s32min-s32max |
| PARAM_VALUE | 0 | gpio->clk->core->dev->power.runtime_status | s32min-s32max |
| PARAM_VALUE | 0 | gpio->clk->core->dev->power.timer_autosuspends | 0-1 |
| PARAM_VALUE | 0 | gpio->clk->core->dev->power.usage_count.counter | s32min-s32max |
| PARAM_VALUE | 0 | gpio->clk->core->dev->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | gpio->config | 4096-ptr_max |
| PARAM_VALUE | 0 | gpio->config->debounce_timers_num | 1-s32max |
| PARAM_VALUE | 0 | gpio->offset_timer | 4096-ptr_max |
| PARAM_VALUE | 0 | gpio->timer_users | 4096-ptr_max |
| PARAM_VALUE | 2 | timer | 0 |
| BUF_SIZE | 0 | gpio | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | gpio | s32min-(-2),1-s32max |
| CAPPED_DATA | 0 | gpio->clk->core | 1 |
| CAPPED_DATA | 0 | gpio->config->debounce_timers_num | 1 |
| DATA_SOURCE | 0 | gpio | r gpiochip_get_data |
| DATA_SOURCE | 1 | offset | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | irq | ||
| LOCK2 | 0 | &gpio->lock | |
| HALF_LOCKED2 | _T->lock | ||
| TYPE_LOCK | (struct aspeed_gpio)->lock |
drivers/gpio/gpio-aspeed.c enable_debounce() -> configure_timer()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | gpio | 4096-ptr_max |
| PARAM_VALUE | 0 | gpio->clk | 4096-ptr_max |
| PARAM_VALUE | 0 | gpio->clk->core->dev->power.deferred_resume | 0-1 |
| PARAM_VALUE | 0 | gpio->clk->core->dev->power.idle_notification | 0-1 |
| PARAM_VALUE | 0 | gpio->clk->core->dev->power.request | 0-4294967295 |
| PARAM_VALUE | 0 | gpio->clk->core->dev->power.request_pending | 0-1 |
| PARAM_VALUE | 0 | gpio->clk->core->dev->power.runtime_error | s32min-s32max |
| PARAM_VALUE | 0 | gpio->clk->core->dev->power.runtime_status | s32min-s32max |
| PARAM_VALUE | 0 | gpio->clk->core->dev->power.timer_autosuspends | 0-1 |
| PARAM_VALUE | 0 | gpio->clk->core->dev->power.usage_count.counter | s32min-s32max |
| PARAM_VALUE | 0 | gpio->clk->core->dev->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | gpio->config | 4096-ptr_max |
| PARAM_VALUE | 0 | gpio->offset_timer | 4096-ptr_max |
| PARAM_VALUE | 2 | timer | 1-s32max |
| BUF_SIZE | 0 | gpio | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | gpio | s32min-(-2),1-s32max |
| CAPPED_DATA | 0 | gpio->clk->core | 1 |
| CAPPED_DATA | 0 | gpio->config->debounce_timers_num | 1 |
| DATA_SOURCE | 0 | gpio | r gpiochip_get_data |
| DATA_SOURCE | 1 | offset | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 2 | timer | unit_array_size |
| LOCK2 | irq | ||
| LOCK2 | 0 | &gpio->lock | |
| HALF_LOCKED2 | _T->lock | ||
| TYPE_LOCK | (struct aspeed_gpio)->lock |