Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

lib/rbtree.c __rb_insert_augmented() -> __rb_insert()

Type Parameter Key Value
PARAM_VALUE 0 node 4096-ptr_max
PARAM_VALUE 0 node->rb_left 0
PARAM_VALUE 0 node->rb_right 0
DATA_SOURCE 0 node $0
DATA_SOURCE 1 root $1
DATA_SOURCE 2 augment_rotate $2
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &fd->pq_srcu
HALF_LOCKED2 &handler->lock
HALF_LOCKED2 &pd->lock
HALF_LOCKED2 &sc->lock
HALF_LOCKED2 &serial->serial_lock
HALF_LOCKED2 &tn->nametbl_lock
HALF_LOCKED2 bh
HALF_LOCKED2 flags
HALF_LOCKED2 global &memtype_lock
HALF_LOCKED2 irq

lib/rbtree.c rb_insert_color() -> __rb_insert()

Type Parameter Key Value
DATA_SOURCE 0 node $0
DATA_SOURCE 1 root $1
NOCHECK_CALL