arch/x86/mach-efi/clocksource.c


1
2
3
4
5
6
7
8
9
10
11

#include <common.h>
#include <init.h>
#include <driver.h>

static int efi_x86_pure_init(void)
{
	struct device_d *dev = device_alloc("efi-cs-x86", DEVICE_ID_SINGLE);

	return platform_device_register(dev);
}
core_initcall(efi_x86_pure_init);