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