Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/microsoft/mana/gdma_main.c mana_gd_init_pf_regs() -> mana_gd_r64()

Type Parameter Key Value
PARAM_VALUE 0 g 4096-ptr_max
PARAM_VALUE 1 offset 200
BUF_SIZE 0 g s32min-(-2),1-s32max
BUF_SIZE 0 g s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 g->db_page_size 4096-u16max
UNITS 0 g unit_byte
HALF_LOCKED2 &pdev->dev.mutex
HALF_LOCKED2 &pool->lock

drivers/net/ethernet/microsoft/mana/gdma_main.c mana_gd_init_pf_regs() -> mana_gd_r64()

Type Parameter Key Value
PARAM_VALUE 0 g 4096-ptr_max
PARAM_VALUE 1 offset 264
BUF_SIZE 0 g s32min-(-2),1-s32max
BUF_SIZE 0 g s32min-(-2),1-s32max
CAPPED_DATA 0 g->db_page_off 1
PARAM_COMPARE 0 g->bar0_size > $0->db_page_off
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 g->db_page_off 0-s32max[c]
HOST_DATA 0 g->db_page_size 4096-u16max
UNITS 0 g unit_byte
HALF_LOCKED2 &pdev->dev.mutex
HALF_LOCKED2 &pool->lock

drivers/net/ethernet/microsoft/mana/gdma_main.c mana_gd_init_pf_regs() -> mana_gd_r64()

Type Parameter Key Value
PARAM_VALUE 0 g 4096-ptr_max
BUF_SIZE 0 g s32min-(-2),1-s32max
BUF_SIZE 0 g s32min-(-2),1-s32max
CAPPED_DATA 0 g->db_page_off 1
CAPPED_DATA 1 offset 1
PARAM_COMPARE 0 g->bar0_size > $0->db_page_off
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 g->db_page_off 0-s32max[c]
HOST_DATA 0 g->db_page_size 4096-u16max
HOST_DATA 1 offset 112-2147483759[c]
UNITS 0 g unit_byte
HALF_LOCKED2 &pdev->dev.mutex
HALF_LOCKED2 &pool->lock

drivers/net/ethernet/microsoft/mana/gdma_main.c mana_gd_init_vf_regs() -> mana_gd_r64()

Type Parameter Key Value
PARAM_VALUE 0 g 4096-ptr_max
PARAM_VALUE 1 offset 8
BUF_SIZE 0 g s32min-(-2),1-s32max
BUF_SIZE 0 g s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 g->db_page_size 4096-u16max
UNITS 0 g unit_byte
HALF_LOCKED2 &pdev->dev.mutex
HALF_LOCKED2 &pool->lock

drivers/net/ethernet/microsoft/mana/gdma_main.c mana_gd_init_vf_regs() -> mana_gd_r64()

Type Parameter Key Value
PARAM_VALUE 0 g 4096-ptr_max
PARAM_VALUE 1 offset 24
BUF_SIZE 0 g s32min-(-2),1-s32max
BUF_SIZE 0 g s32min-(-2),1-s32max
CAPPED_DATA 0 g->db_page_off 1
PARAM_COMPARE 0 g->bar0_size > $0->db_page_off
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 g->db_page_off 0-s32max[c]
HOST_DATA 0 g->db_page_size 4096-u16max
UNITS 0 g unit_byte
HALF_LOCKED2 &pdev->dev.mutex
HALF_LOCKED2 &pool->lock