2005-09-03 15:56:11 -07:00
|
|
|
#include <linux/init.h>
|
2007-10-11 23:46:10 +01:00
|
|
|
|
|
|
|
#include <asm/i8253.h>
|
2005-09-03 15:56:11 -07:00
|
|
|
#include <asm/io.h>
|
|
|
|
#include <asm/time.h>
|
|
|
|
|
2006-05-15 18:59:34 +01: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 23:46:10 +01:00
|
|
|
void __init plat_time_init(void)
|
2005-09-03 15:56:11 -07:00
|
|
|
{
|
2007-10-11 23:46:10 +01:00
|
|
|
setup_pit_timer();
|
2005-09-03 15:56:11 -07:00
|
|
|
}
|
|
|
|
|
2006-06-18 01:32:22 +01:00
|
|
|
void __init plat_mem_setup(void)
|
2005-09-03 15:56:11 -07:00
|
|
|
{
|
2006-05-15 18:59:34 +01:00
|
|
|
qemu_reboot_setup();
|
2005-09-03 15:56:11 -07:00
|
|
|
}
|