Symbol: NextDiskSystem
headers/private/kernel/disk_device_manager/KDiskDeviceManager.h
93
KDiskSystem *NextDiskSystem(int32 *cookie);
src/system/kernel/disk_device_manager/KDiskDeviceManager.cpp
310
for (int32 cookie = 0; KDiskSystem* diskSystem = NextDiskSystem(&cookie);) {
src/system/kernel/disk_device_manager/KDiskDeviceManager.cpp
901
for (int32 cookie = 0; KDiskSystem* diskSystem = NextDiskSystem(&cookie);) {
src/system/kernel/disk_device_manager/KDiskDeviceManager.cpp
980
if (KDiskSystem* diskSystem = NextDiskSystem(cookie)) {
src/system/kernel/disk_device_manager/ddm_userland_interface.cpp
505
KDiskSystem *diskSystem = manager->NextDiskSystem(&cookie);