Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

lib/bootconfig.c xbc_node_compose_key_after() -> xbc_node_get_parent()

Type Parameter Key Value
PARAM_VALUE 0 node 4096-ptr_max
DATA_SOURCE 0 node $1
HALF_LOCKED2 irq

lib/bootconfig.c xbc_node_compose_key_after() -> xbc_node_get_parent()

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

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

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

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

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