This constant determines the range of valid device_id_t values that
a block driver can return from the bdr_device hook: a value between
0 and (BLOCKDRIVER_MAX_DEVICES - 1) inclusive.
Change-Id: I80fac469e88ac13d4b869007e6f2c2f7569da433
#define BLOCKDRIVER_MT_API 1 /* do not expose the singlethreaded API */
#include <minix/blockdriver.h>
+#define BLOCKDRIVER_MAX_DEVICES 32
+
void blockdriver_mt_task(struct blockdriver *driver_tab);
void blockdriver_mt_sleep(void);
void blockdriver_mt_wakeup(thread_id_t id);
#define STACK_SIZE 8192
/* Maximum number of devices supported. */
-#define MAX_DEVICES 32
+#define MAX_DEVICES BLOCKDRIVER_MAX_DEVICES
/* The maximum number of worker threads per device. */
#define MAX_WORKERS 32