src/system/kernel/device_manager/device_manager.cpp

1095

if ((fNode->Flags() & NODE_FLAG_DEVICE_REMOVED) != 0) {

src/system/kernel/device_manager/device_manager.cpp

1945

if ((fFlags & NODE_FLAG_DEVICE_REMOVED) != 0

src/system/kernel/device_manager/device_manager.cpp

2122

fFlags |= NODE_FLAG_DEVICE_REMOVED;

src/system/kernel/device_manager/device_manager.cpp

2230

if ((child->Flags() & NODE_FLAG_DEVICE_REMOVED) == 0

src/tests/system/kernel/device_manager/playground/device_manager.cpp

1548

if ((fFlags & NODE_FLAG_DEVICE_REMOVED) != 0

src/tests/system/kernel/device_manager/playground/device_manager.cpp

1670

fFlags |= NODE_FLAG_DEVICE_REMOVED;

src/tests/system/kernel/device_manager/playground/device_manager.cpp

1757

if ((child->Flags() & NODE_FLAG_DEVICE_REMOVED) == 0

src/tests/system/kernel/device_manager/playground/device_manager.cpp

893

if ((fNode->Flags() & NODE_FLAG_DEVICE_REMOVED) != 0) {