Documented in 1 files:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
lib/bootconfig.c xbc_node_find_next_leaf() -> xbc_node_is_leaf()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | node | 1-u64max |
| DATA_SOURCE | 0 | node | $1 [m] |
| HALF_LOCKED2 | global &event_mutex | ||
| HALF_LOCKED2 | irq |
lib/bootconfig.c xbc_node_find_next_leaf() -> xbc_node_is_leaf()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | node | 4096-ptr_max |
| PARAM_VALUE | 0 | node->child | 1-u16max |
| DATA_SOURCE | 0 | node | r xbc_node_get_child |
| HALF_LOCKED2 | global &event_mutex | ||
| HALF_LOCKED2 | irq |