ofw_tree_space_alloc 120 boot/genarch/src/ofw_tree.c char *da_name = ofw_tree_space_alloc(len + 1); ofw_tree_space_alloc 175 boot/genarch/src/ofw_tree.c void *buf = ofw_tree_space_alloc(size);