Symbol: RegisterNextDevice
headers/private/kernel/disk_device_manager/KDiskDeviceManager.h
55
KDiskDevice *RegisterNextDevice(int32 *cookie);
src/system/kernel/disk_device_manager/KDiskDeviceManager.cpp
1004
while (KDiskDevice* device = RegisterNextDevice(&cookie)) {
src/system/kernel/disk_device_manager/KDiskDeviceManager.cpp
1102
while (KDiskDevice* device = RegisterNextDevice(&cookie)) {
src/system/kernel/disk_device_manager/KDiskDeviceManager.cpp
1518
while (KDiskDevice* device = RegisterNextDevice(&cookie)) {
src/system/kernel/disk_device_manager/ddm_userland_interface.cpp
189
if (KDiskDevice *device = manager->RegisterNextDevice(&cookie)) {
src/tests/system/kernel/disk_device_manager/DiskDeviceManagerTest.cpp
48
KDiskDevice *device = manager->RegisterNextDevice(&cookie); ) {