Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/wireless/realtek/rtw89/fw.c rtw89_mfw_get_size() -> rtw89_mfw_validate_hdr()

Type Parameter Key Value
PARAM_VALUE 0 rtwdev 4096-ptr_max
PARAM_VALUE 0 rtwdev->chip 4096-ptr_max
PARAM_VALUE 0 rtwdev->fw.req.firmware->size 16-u64max
PARAM_VALUE 1 firmware 4096-ptr_max
PARAM_VALUE 1 firmware->size 16-u64max
PARAM_VALUE 2 mfw_hdr 4096-ptr_max
PARAM_VALUE 2 mfw_hdr->sig 255
BUF_SIZE 2 mfw_hdr 1-s32max
BUF_SIZE 2 mfw_hdr 1-s32max
DATA_SOURCE 0 rtwdev $0
DATA_SOURCE 2 mfw_hdr r rtw89_mfw_get_hdr_ptr

drivers/net/wireless/realtek/rtw89/fw.c rtw89_mfw_recognize() -> rtw89_mfw_validate_hdr()

Type Parameter Key Value
PARAM_VALUE 0 rtwdev 4096-ptr_max
PARAM_VALUE 0 rtwdev->chip 4096-ptr_max
PARAM_VALUE 0 rtwdev->fw.req.firmware->size 16-u64max
PARAM_VALUE 0 rtwdev->variant 0,4096-ptr_max
PARAM_VALUE 0 *rtwdev->hw->wiphy->fw_version 0-255
PARAM_VALUE 1 firmware 4096-ptr_max
PARAM_VALUE 1 firmware->size 16-u64max
PARAM_VALUE 2 mfw_hdr 4096-ptr_max
PARAM_VALUE 2 mfw_hdr->sig 255
BUF_SIZE 2 mfw_hdr 1-s32max
BUF_SIZE 2 mfw_hdr 1-s32max
DATA_SOURCE 0 rtwdev $0
DATA_SOURCE 2 mfw_hdr r rtw89_mfw_get_hdr_ptr