Symbol: NODE_FLAG_PUBLIC_MASK
src/system/kernel/device_manager/device_manager.cpp
207
NODE_FLAG_PUBLIC_MASK = 0x0000ffff
src/tests/system/kernel/device_manager/playground/device_manager.cpp
190
NODE_FLAG_PUBLIC_MASK = 0x0000ffff