headers/private/kernel/elf.h

40

status_t unload_kernel_add_on(image_id id);

src/system/kernel/device_manager/legacy_drivers.cpp

1169

unload_kernel_add_on(image);

src/system/kernel/device_manager/legacy_drivers.cpp

1431

unload_kernel_add_on(image->id);

src/system/kernel/device_manager/legacy_drivers.cpp

454

unload_kernel_add_on(image);

src/system/kernel/device_manager/legacy_drivers.cpp

476

unload_kernel_add_on(driver->image);

src/system/kernel/module.cpp

1148

unload_kernel_add_on(image->id);

src/system/kernel/module.cpp

438

unload_kernel_add_on(image);

src/system/kernel/module.cpp

462

unload_kernel_add_on(moduleImage->image);