Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/wireless/realtek/rtw89/mac.c rtw89_mac_port_tsf_sync_rand() -> rtw89_mac_port_tsf_sync()

Type Parameter Key Value
PARAM_VALUE 1 rtwvif_link 4096-ptr_max
PARAM_VALUE 1 rtwvif_link->net_type 3
PARAM_VALUE 1 rtwvif_link->rand_tsf_done 0
PARAM_VALUE 2 rtwvif_src 1-u64max
CAPPED_DATA 2 rtwvif_src 1
DATA_SOURCE 0 rtwdev $0
DATA_SOURCE 1 rtwvif_link $1
DATA_SOURCE 2 rtwvif_src $2
PARAM_COMPARE 1 rtwvif_link != $2
PARAM_COMPARE 1 rtwvif_link != $2
PARAM_COMPARE 2 rtwvif_src != $1
NOCHECK_CALL