Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/net/ethernet/marvell/skge.c genesis_stop() -> genesis_reset()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | hw | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &dev->lock | ||
| HALF_LOCKED2 | &rdev->wiphy.mtx | ||
| HALF_LOCKED2 | global &rtnl_mutex |
drivers/net/ethernet/marvell/skge.c skge_phy_reset() -> genesis_reset()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | hw | 4096-ptr_max |
| PREEMPT_ADD | <- disables preempt | ||
| NOCHECK_CALL | |||
| LOCK2 | bh | ||
| LOCK2 | 0 | &hw->phy_lock | |
| HALF_LOCKED2 | global &rtnl_mutex | ||
| TYPE_LOCK | (struct skge_hw)->phy_lock |
drivers/net/ethernet/marvell/skge.c skge_reset() -> genesis_reset()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | hw | 4096-ptr_max |
| PARAM_VALUE | 0 | hw->intr_mask | 2147483648,2155872256 |
| PARAM_VALUE | 0 | hw->phy_addr | 0,256 |
| PARAM_VALUE | 0 | hw->phy_type | 0-1 |
| PARAM_VALUE | 0 | hw->ram_size | 0-1024,2048-130560,1048576 |
| PARAM_VALUE | 1 | port | 0-1 |
| BUF_SIZE | 0 | hw | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | hw | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | hw->pdev | (-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,7472,8064 |
| CAPPED_DATA | 0 | hw->ports | 1 |
| CAPPED_DATA | 1 | port | 1 |
| DATA_SOURCE | 0 | hw | $0 |
| FUZZY_MAX | 0 | hw->intr_mask | 2147483648 |
| FUZZY_MAX | 0 | hw->phy_addr | 256 |
| FUZZY_MAX | 0 | hw->ram_size | 1048576 |
| FUZZY_MAX | 1 | port | 1 |
| PARAM_COMPARE | 0 | hw->ports | > $1 |
| PARAM_COMPARE | 1 | port | < $0->ports |
| BIT_INFO | 0 | hw->intr_mask | 0x80000000,0xffffffffffffffff |
| BIT_INFO | 0 | hw->phy_addr | 0x0,0x100 |
| BIT_INFO | 0 | hw->phy_type | 0x0,0xf |
| BIT_INFO | 0 | hw->ram_size | 0x0,0x11ffff |
| HARD_MAX | 0 | hw->phy_addr | 256 |
| HARD_MAX | 1 | port | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | hw->chip_id | 10 |
| HOST_DATA | 0 | hw->chip_rev | 0-15[c] |
| HOST_DATA | 0 | hw->copper | 0[c] |
| HOST_DATA | 0 | hw->pdev->current_state | 0-3[c] |
| HOST_DATA | 0 | hw->phy_type | 0-1 |
| HOST_DATA | 0 | hw->ram_size | 0-1024,2048-130560 |
| UNITS | 0 | hw | unit_byte |