Device IRQs WIP

kernel/device/partitions.h

@@ -4,6 +4,8 @@
 #include <aux/compiler.h>
 #include <device/device.h>
 #include <libk/std.h>
+#include <proc/proc.h>
+#include <proc/reschedule.h>
 
 struct dos_pte {
   uint8_t drive_attrs;
@@ -22,6 +24,6 @@ struct dos_mbr {
   uint8_t valid_sign[2];
 } PACKED;
 
-int device_probe_partitions (struct device* device);
+int device_probe_partitions (struct proc* proc, struct reschedule_ctx* rctx, struct device* device);
 
 #endif // _KERNEL_DEVICE_PARTITIONS_H