src/system/kernel/device_manager/BaseDevice.h

24

virtual void UninitDevice();

src/system/kernel/device_manager/FileDevice.h

23

virtual void UninitDevice();

src/system/kernel/device_manager/devfs.cpp

1141

device->UninitDevice();

src/system/kernel/device_manager/devfs.cpp

1181

vnode->stream.u.dev.device->UninitDevice();

src/system/kernel/device_manager/device_manager.cpp

88

virtual void UninitDevice();

src/system/kernel/device_manager/legacy_drivers.cpp

60

virtual void UninitDevice();

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

299

device->UninitDevice();

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

83

void UninitDevice();