Symbol: get_attr_uint16
src/system/kernel/device_manager/device_manager.cpp
737
get_attr_uint16(const device_node* node, const char* name, uint16* _value,
src/tests/system/kernel/device_manager/playground/device_manager.cpp
587
get_attr_uint16(const device_node* node, const char* name, uint16* _value,