1 #include <linux/init.h>
5 extern void qemu_reboot_setup(void);
7 #define QEMU_PORT_BASE 0xb4000000
9 const char *get_system_type(void)
14 void __init plat_timer_setup(struct irqaction *irq)
16 /* set the clock to 100 Hz */
17 outb_p(0x34,0x43); /* binary, mode 2, LSB/MSB, ch 0 */
18 outb_p(LATCH & 0xff , 0x40); /* LSB */
19 outb(LATCH >> 8 , 0x40); /* MSB */
23 void __init plat_mem_setup(void)
25 set_io_port_base(QEMU_PORT_BASE);