Documented in 1 files:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 node 1-u64max
HALF_LOCKED2 global &event_mutex
HALF_LOCKED2 irq

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

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

lib/bootconfig.c xbc_node_find_value() -> xbc_node_is_key()

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

lib/bootconfig.c xbc_node_is_leaf() -> xbc_node_is_key()

Type Parameter Key Value
PARAM_VALUE 0 node 1-u64max
DATA_SOURCE 0 node $0
HALF_LOCKED2 global &event_mutex
HALF_LOCKED2 irq

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

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