#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);