Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

kernel/trace/trace_boot.c trace_boot_hist_add_handlers() -> xbc_node_get_next()

Type Parameter Key Value
PARAM_VALUE 0 node 4096-ptr_max
LOCK2 global &event_mutex

kernel/trace/trace_boot.c trace_boot_init_events() -> xbc_node_get_next()

Type Parameter Key Value
PARAM_VALUE 0 node 4096-ptr_max

kernel/trace/trace_boot.c trace_boot_init_events() -> xbc_node_get_next()

Type Parameter Key Value
PARAM_VALUE 0 node 4096-ptr_max

kernel/trace/trace_boot.c trace_boot_init_histograms() -> xbc_node_get_next()

Type Parameter Key Value
PARAM_VALUE 0 node 4096-ptr_max
LOCK2 global &event_mutex

kernel/trace/trace_boot.c trace_boot_init_instances() -> xbc_node_get_next()

Type Parameter Key Value
PARAM_VALUE 0 node 4096-ptr_max

kernel/trace/trace_boot.c xbc_node_get_subkey() -> xbc_node_get_next()

Type Parameter Key Value
PARAM_VALUE 0 node 4096-ptr_max
DATA_SOURCE 0 node r xbc_node_get_child
HALF_LOCKED2 global &event_mutex

lib/bootconfig.c __xbc_add_key() -> xbc_node_get_next()

Type Parameter Key Value
PARAM_VALUE 0 node 4096-ptr_max
DATA_SOURCE 0 node r xbc_node_get_child
LOCK2 irq

lib/bootconfig.c find_match_node() -> xbc_node_get_next()

Type Parameter Key Value
PARAM_VALUE 0 node 4096-ptr_max
DATA_SOURCE 0 node $0 [m]
LOCK2 irq

lib/bootconfig.c xbc_last_sibling() -> xbc_node_get_next()

Type Parameter Key Value
PARAM_VALUE 0 node 4096-ptr_max
PARAM_VALUE 0 node->next 1-u16max
DATA_SOURCE 0 node $0 [m]
LOCK2 irq

lib/bootconfig.c xbc_node_find_next_leaf() -> xbc_node_get_next()

Type Parameter Key Value
PARAM_VALUE 0 node 4096-ptr_max
PARAM_VALUE 0 node->next 1-u16max
DATA_SOURCE 0 node $1 [m]
HALF_LOCKED2 global &event_mutex
HALF_LOCKED2 irq

lib/bootconfig.c xbc_node_find_subkey() -> xbc_node_get_next()

Type Parameter Key Value
PARAM_VALUE 0 node 4096-ptr_max
HALF_LOCKED2 global &event_mutex
HALF_LOCKED2 irq

lib/bootconfig.c xbc_node_get_subkey() -> xbc_node_get_next()

Type Parameter Key Value
PARAM_VALUE 0 node 4096-ptr_max
DATA_SOURCE 0 node r xbc_node_get_child
HALF_LOCKED2 global &event_mutex

lib/bootconfig.c xbc_verify_tree() -> xbc_node_get_next()

Type Parameter Key Value
PARAM_VALUE 0 node 4096-ptr_max
LOCK2 irq

lib/bootconfig.c xbc_verify_tree() -> xbc_node_get_next()

Type Parameter Key Value
PARAM_VALUE 0 node 4096-ptr_max
DATA_SOURCE 0 node r xbc_node_get_parent
LOCK2 irq