#include <linux/init.h> | |
#include <linux/platform_device.h> | |
#include <asm/i8253.h> | |
#include <asm/io.h> | |
#include <asm/time.h> | |
extern void qemu_reboot_setup(void); | |
const char *get_system_type(void) | |
{ | |
return "Qemu"; | |
} | |
void __init plat_time_init(void) | |
{ | |
setup_pit_timer(); | |
} | |
void __init plat_mem_setup(void) | |
{ | |
qemu_reboot_setup(); | |
} | |
static struct platform_device pcspeaker_pdev = { | |
.name = "pcspkr", | |
.id = -1, | |
}; | |
static int __init qemu_platform_devinit(void) | |
{ | |
platform_device_register(&pcspeaker_pdev); | |
return 0; | |
} | |
device_initcall(qemu_platform_devinit); |