Symbol: get_attr_uint32
src/system/kernel/device_manager/device_manager.cpp
753
get_attr_uint32(const device_node* node, const char* name, uint32* _value,
src/tests/system/kernel/device_manager/playground/device_manager.cpp
603
get_attr_uint32(const device_node* node, const char* name, uint32* _value,