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