2 * Reset a Jazz machine.
4 * We don't trust the firmware so we do it the classic way by poking and
5 * stabbing at the keyboard controller ...
7 #include <linux/jiffies.h>
10 #define KBD_STAT_IBF 0x02 /* Keyboard input buffer full */
12 static void jazz_write_output(unsigned char val)
17 status = jazz_kh->command;
18 } while (status & KBD_STAT_IBF);
22 static void jazz_write_command(unsigned char val)
27 status = jazz_kh->command;
28 } while (status & KBD_STAT_IBF);
29 jazz_kh->command = val;
32 static unsigned char jazz_read_status(void)
34 return jazz_kh->command;
37 static inline void kb_wait(void)
39 unsigned long start = jiffies;
40 unsigned long timeout = start + HZ/2;
43 if (! (jazz_read_status() & 0x02))
45 } while (time_before_eq(jiffies, timeout));
48 void jazz_machine_restart(char *command)
52 jazz_write_command(0xd1);
54 jazz_write_output(0x00);