Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/tests/drm_mm_test.c expect_insert() -> assert_node()

Type Parameter Key Value
PARAM_VALUE 1 node 4096-ptr_max
PARAM_VALUE 1 node->color 1-63,18446744071562067968-u64max
PARAM_VALUE 1 node->hole_size 0-1
PARAM_VALUE 1 node->hole_stack.next 4096-ptr_max
PARAM_VALUE 1 node->hole_stack.prev 4096-ptr_max
PARAM_VALUE 1 node->mm 6837542392382337024
PARAM_VALUE 1 node->mm->hole_stack.next 4096-ptr_max
PARAM_VALUE 1 node->mm->hole_stack.next->next 4096-ptr_max
PARAM_VALUE 1 node->mm->hole_stack.next->prev 4096-ptr_max
PARAM_VALUE 1 node->mm->holes_addr.rb_node 4096-ptr_max
PARAM_VALUE 1 node->mm->holes_size.rb_leftmost 4096-ptr_max
PARAM_VALUE 1 node->mm->holes_size.rb_root.rb_node 4096-ptr_max
PARAM_VALUE 1 node->node_list.next 4096-ptr_max
PARAM_VALUE 1 node->node_list.prev 4096-ptr_max
PARAM_VALUE 1 node->rb.rb_left 0,4096-ptr_max
PARAM_VALUE 1 node->rb.rb_left->rb_right 0
PARAM_VALUE 1 node->rb.rb_right 0,4096-ptr_max
PARAM_VALUE 1 node->rb.rb_right->rb_left 0
PARAM_VALUE 1 node->rb_hole_addr.rb_left 0,4096-ptr_max
PARAM_VALUE 1 node->rb_hole_addr.rb_left->rb_right 0
PARAM_VALUE 1 node->rb_hole_addr.rb_right 0,4096-ptr_max
PARAM_VALUE 1 node->rb_hole_addr.rb_right->rb_left 0
PARAM_VALUE 1 node->rb_hole_size.__rb_parent_color 1
PARAM_VALUE 1 node->rb_hole_size.rb_left 4096-ptr_max
PARAM_VALUE 1 node->rb_hole_size.rb_right 4096-ptr_max
PARAM_VALUE 1 node->size 1-u64max
PARAM_VALUE 1 node->subtree_max_hole 1
PARAM_VALUE 2 mm 6837542392382337024
PARAM_VALUE 2 mm->color_adjust 0
PARAM_VALUE 2 mm->head_node.hole_size 1
PARAM_VALUE 2 mm->head_node.hole_stack.next 4096-ptr_max
PARAM_VALUE 2 mm->head_node.hole_stack.prev 4096-ptr_max
PARAM_VALUE 2 mm->head_node.mm 4096-ptr_max
PARAM_VALUE 2 mm->head_node.node_list.next 4096-ptr_max
PARAM_VALUE 2 mm->head_node.node_list.prev 4096-ptr_max
PARAM_VALUE 2 mm->head_node.rb_hole_size.__rb_parent_color 1
PARAM_VALUE 2 mm->head_node.rb_hole_size.rb_left 4096-ptr_max
PARAM_VALUE 2 mm->head_node.rb_hole_size.rb_right 4096-ptr_max
PARAM_VALUE 2 mm->head_node.start 18446744073709551614
PARAM_VALUE 2 mm->head_node.subtree_max_hole 1
PARAM_VALUE 2 mm->hole_stack.next 4096-ptr_max
PARAM_VALUE 2 mm->hole_stack.prev 4096-ptr_max
PARAM_VALUE 3 size 1-u64max
PARAM_VALUE 5 color 1-63,18446744071562067968-u64max
BUF_SIZE 1 node 176
CAPPED_DATA 3 size 1
CAPPED_DATA 3 size 1
DATA_SOURCE 0 test $0
DATA_SOURCE 1 node $2
DATA_SOURCE 2 mm $1
DATA_SOURCE 3 size $3
DATA_SOURCE 4 alignment $4
DATA_SOURCE 5 color $5