Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/net/ethernet/microsoft/mana/mana_en.c gdma_mana_send_request() -> mana_need_log()

Type Parameter Key Value
PARAM_VALUE 0 gc 4096-ptr_max
PARAM_VALUE 0 gc->hwc.driver_data 4096-ptr_max
PARAM_VALUE 1 err s32min-(-96),(-94)-s32max
BUF_SIZE 0 gc s32min-(-1),1-s32max
BUF_SIZE 0 gc s32min-(-1),1-s32max
DATA_SOURCE 0 gc $0
DATA_SOURCE 1 err r mana_gd_send_request
RX_PATH
TASK_NOT_RUNNING
UNITS 0 gc unit_byte

drivers/net/ethernet/microsoft/mana/mana_en.c mana_en_need_log() -> mana_need_log()

Type Parameter Key Value
PARAM_VALUE 0 gc 4096-ptr_max
PARAM_VALUE 1 err s32min-(-1),1-s32max
DATA_SOURCE 1 err $1
RX_PATH
TASK_NOT_RUNNING
UNITS 0 gc unit_byte

drivers/net/ethernet/microsoft/mana/gdma_main.c mana_gd_deregister_device() -> mana_need_log()

Type Parameter Key Value
PARAM_VALUE 0 gc 4096-ptr_max
PARAM_VALUE 0 gc->hwc.driver_data 4096-ptr_max
DATA_SOURCE 1 err r mana_gd_send_request
RX_PATH
TASK_NOT_RUNNING
UNITS 0 gc unit_byte

drivers/net/ethernet/microsoft/mana/gdma_main.c mana_gd_destroy_dma_region() -> mana_need_log()

Type Parameter Key Value
PARAM_VALUE 0 gc 4096-ptr_max
PARAM_VALUE 0 gc->hwc.driver_data 4096-ptr_max
DATA_SOURCE 0 gc $0
DATA_SOURCE 1 err r mana_gd_send_request
RX_PATH
TASK_NOT_RUNNING
UNITS 0 gc unit_byte

drivers/net/ethernet/microsoft/mana/gdma_main.c mana_gd_destroy_eq() -> mana_need_log()

Type Parameter Key Value
PARAM_VALUE 0 gc 4096-ptr_max
PARAM_VALUE 0 gc->hwc.driver_data 4096-ptr_max
PARAM_VALUE 1 err s32min-(-1),1-s32max
DATA_SOURCE 0 gc $0
DATA_SOURCE 1 err r mana_gd_test_eq
RX_PATH
TASK_NOT_RUNNING
UNITS 0 gc unit_byte

drivers/net/ethernet/microsoft/mana/gdma_main.c mana_gd_disable_queue() -> mana_need_log()

Type Parameter Key Value
PARAM_VALUE 0 gc 4096-ptr_max
PARAM_VALUE 0 gc->hwc.driver_data 4096-ptr_max
CAPPED_DATA 0 gc->num_msix_usable 1
DATA_SOURCE 1 err r mana_gd_send_request
RX_PATH
TASK_NOT_RUNNING
UNITS 0 gc unit_byte

drivers/net/ethernet/microsoft/mana/gdma_main.c mana_gd_test_eq() -> mana_need_log()

Type Parameter Key Value
PARAM_VALUE 0 gc 4096-ptr_max
PARAM_VALUE 0 gc->hwc.driver_data 4096-ptr_max
PARAM_VALUE 1 err s32min-(-1),1-s32max
CAPPED_DATA 0 &gc->eq_test_event_mutex 1
DATA_SOURCE 0 gc $0
DATA_SOURCE 1 err r mana_gd_send_request
RX_PATH
TASK_NOT_RUNNING
UNITS 0 gc unit_byte
LOCK2 0 &gc->eq_test_event_mutex
TYPE_LOCK (struct gdma_context)->eq_test_event_mutex