src/system/kernel/device_manager/device_manager.cpp

1099

if ((fNode->Flags() & NODE_FLAG_WAITING_FOR_DRIVER) != 0)

src/system/kernel/device_manager/device_manager.cpp

1857

child->fFlags |= NODE_FLAG_WAITING_FOR_DRIVER;

src/system/kernel/device_manager/device_manager.cpp

1884

child->fFlags &= ~NODE_FLAG_WAITING_FOR_DRIVER;

src/system/kernel/device_manager/device_manager.cpp

1909

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

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

1485

child->fFlags |= NODE_FLAG_WAITING_FOR_DRIVER;

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

1512

child->fFlags &= ~NODE_FLAG_WAITING_FOR_DRIVER;

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

1537

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

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

897

if ((fNode->Flags() & NODE_FLAG_WAITING_FOR_DRIVER) != 0)