Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/freescale/fec_main.c fec_restart() -> fec_ctrl_reset()

Type Parameter Key Value
PARAM_VALUE 0 fep 4096-ptr_max
PARAM_VALUE 0 fep->netdev 4096-ptr_max
PARAM_VALUE 1 allow_wol 0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 fep->ptp_saved_state s64min-s64max
HOST_DATA 0 fep->ptp_saved_state->at_corr 0-u32max
HOST_DATA 0 fep->ptp_saved_state->at_inc_corr 0-255
HOST_DATA 0 fep->ptp_saved_state->ns_phc 0-u64max
HOST_DATA 0 fep->ptp_saved_state->ns_sys 0-u64max
HOST_DATA 0 fep->ptp_saved_state->pps_enable s32min-s32max
HOST_DATA 0 fep->tc.cycle_last 0-u64max
HALF_LOCKED2 &ndev->tx_global_lock
HALF_LOCKED2 &phydev->lock
HALF_LOCKED2 bh
HALF_LOCKED2 global &rtnl_mutex

drivers/net/ethernet/freescale/fec_main.c fec_stop() -> fec_ctrl_reset()

Type Parameter Key Value
PARAM_VALUE 0 fep 4096-ptr_max
PARAM_VALUE 1 allow_wol 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 fep->ptp_saved_state s64min-s64max
HOST_DATA 0 fep->ptp_saved_state->at_corr 0-u32max
HOST_DATA 0 fep->ptp_saved_state->at_inc_corr 0-255
HOST_DATA 0 fep->ptp_saved_state->ns_phc 0-u64max
HOST_DATA 0 fep->ptp_saved_state->ns_sys 0-u64max
HOST_DATA 0 fep->ptp_saved_state->pps_enable s32min-s32max
HOST_DATA 0 fep->tc.cycle_last 0-u64max
HALF_LOCKED2 &ndev->tx_global_lock
HALF_LOCKED2 &phydev->lock
HALF_LOCKED2 bh
HALF_LOCKED2 global &rtnl_mutex