Symbol: get_attr_uint64
src/system/kernel/device_manager/device_manager.cpp
769
get_attr_uint64(const device_node* node, const char* name,
src/tests/system/kernel/device_manager/playground/device_manager.cpp
619
get_attr_uint64(const device_node* node, const char* name,