Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 5 files:

Smatch caller information:

net/rds/ib_send.c rds_ib_xmit() -> rds_cong_map_updated()

Type Parameter Key Value
PARAM_VALUE 1 portmask u64max
NOCHECK_CALL

net/rds/ib_recv.c rds_ib_cong_recv() -> rds_cong_map_updated()

Type Parameter Key Value
PARAM_VALUE 0 map 4096-ptr_max
PARAM_VALUE 0 map->m_page_addrs 4096-ptr_max
PREEMPT_ADD <- disables preempt
NOCHECK_CALL

net/rds/loop.c rds_loop_xmit() -> rds_cong_map_updated()

Type Parameter Key Value
PARAM_VALUE 1 portmask u64max
NOCHECK_CALL

net/rds/tcp_recv.c rds_tcp_cong_recv() -> rds_cong_map_updated()

Type Parameter Key Value
PARAM_VALUE 1 portmask u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 rcu_read