Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/mtd/mtdswap.c mtdswap_check_counts() -> __mtdswap_rb_add()

Type Parameter Key Value
PARAM_VALUE 0 root 1109708654348427264
PARAM_VALUE 1 eb 4096-ptr_max
BIT_INFO 1 eb->flags 0x0,0xffffffec
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &mtd_table_mutex

drivers/mtd/mtdswap.c mtdswap_rb_add() -> __mtdswap_rb_add()

Type Parameter Key Value
PARAM_VALUE 1 eb 4096-ptr_max
PARAM_VALUE 1 eb->root->rb_node 4096-ptr_max
BUF_SIZE 0 root 8
CAPPED_DATA 1 eb 1
DATA_SOURCE 1 eb $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->lock
HALF_LOCKED2 global &mtd_table_mutex