headers/private/kernel/disk_device_manager/KDiskDeviceManager.h

81

KDiskDevice *NextDevice(int32 *cookie);

src/system/kernel/disk_device_manager/KDiskDeviceManager.cpp

287

for (int32 cookie = 0; KDiskDevice* device = NextDevice(&cookie);) {

src/system/kernel/disk_device_manager/KDiskDeviceManager.cpp

406

for (int32 cookie = 0; KDiskDevice* device = NextDevice(&cookie); ) {

src/system/kernel/disk_device_manager/KDiskDeviceManager.cpp

461

for (int32 cookie = 0; KDiskDevice* device = NextDevice(&cookie); ) {

src/system/kernel/disk_device_manager/KDiskDeviceManager.cpp

513

if (KDiskDevice* device = NextDevice(cookie)) {

src/system/kernel/fs/vfs_boot.cpp

374

while ((device = manager->NextDevice(&cookie)) != NULL) {

src/system/kernel/fs/vfs_boot.cpp

409

while ((device = manager->NextDevice(&cookie)) != NULL) {

src/system/kernel/vm/VMAnonymousCache.cpp

1694

while ((device = manager->NextDevice(&cookie)) != NULL) {