diff --git a/headers/private/kernel/kdevice_manager.h b/headers/private/kernel/kdevice_manager.h
index 5b7107b868..a5a594476c 100644
--- a/headers/private/kernel/kdevice_manager.h
+++ b/headers/private/kernel/kdevice_manager.h
@@ -52,6 +52,7 @@ struct kernel_args;
 extern "C" {
 #endif
 
+extern status_t probe_for_device_type(const char *type);
 extern status_t device_manager_init(struct kernel_args *args);
 
 #ifdef __cplusplus