Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/net/ethernet/microsoft/mana/gdma_main.c mana_recovery_delayed_func() -> mana_do_service()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | pdev->bus->self->dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 1 | pdev->dev.power.wakeirq->status | 0-4294967295 |
| NOCHECK_CALL | |||
| HOST_DATA | 1 | pdev->dev.driver_data->db_page_off | s64min-s64max |
| HALF_LOCKED2 | &pool->lock |
drivers/net/ethernet/microsoft/mana/gdma_main.c mana_serv_func() -> mana_do_service()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | pdev | 1-u64max |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |