- int i;
-
- printf ("Rebooting...\n");
-
- /* See [kbd] for details on how to program the keyboard
- * controller. */
- for (i = 0; i < 100; i++)
- {
- int j;
-
- /* Poll keyboard controller's status byte until
- * 'input buffer empty' is reported. */
- for (j = 0; j < 0x10000; j++)
- {
- if ((inb (CONTROL_REG) & 0x02) == 0)
- break;
- timer_udelay (2);
- }
-
- timer_udelay (50);
-
- /* Pulse bit 0 of the output port P2 of the keyboard controller.
- * This will reset the CPU. */
- outb (CONTROL_REG, 0xfe);
- timer_udelay (50);
- }
+ locate_block_device (BLOCK_FILESYS, filesys_bdev_name);
+ locate_block_device (BLOCK_SCRATCH, scratch_bdev_name);
+#ifdef VM
+ locate_block_device (BLOCK_SWAP, swap_bdev_name);
+#endif