2005-09-04 00:56:11 +02:00
|
|
|
#include <linux/init.h>
|
2007-10-12 00:46:10 +02:00
|
|
|
|
|
|
|
#include <asm/i8253.h>
|
2005-09-04 00:56:11 +02:00
|
|
|
#include <asm/io.h>
|
|
|
|
#include <asm/time.h>
|
|
|
|
|
2006-05-15 19:59:34 +02:00
|
|
|
extern void qemu_reboot_setup(void);
|
|
|
|
|
2005-09-04 00:56:11 +02:00
|
|
|
#define QEMU_PORT_BASE 0xb4000000
|
|
|
|
|
2005-08-15 13:24:34 +02:00
|
|
|
const char *get_system_type(void)
|
|
|
|
{
|
|
|
|
return "Qemu";
|
|
|
|
}
|
|
|
|
|
2007-10-12 00:46:10 +02:00
|
|
|
void __init plat_time_init(void)
|
2005-09-04 00:56:11 +02:00
|
|
|
{
|
2007-10-12 00:46:10 +02:00
|
|
|
setup_pit_timer();
|
2005-09-04 00:56:11 +02:00
|
|
|
}
|
|
|
|
|
2006-06-18 02:32:22 +02:00
|
|
|
void __init plat_mem_setup(void)
|
2005-09-04 00:56:11 +02:00
|
|
|
{
|
|
|
|
set_io_port_base(QEMU_PORT_BASE);
|
2006-05-15 19:59:34 +02:00
|
|
|
qemu_reboot_setup();
|
2005-09-04 00:56:11 +02:00
|
|
|
}
|