#include <linux/device.h>
#include <linux/kernel.h>
#include <linux/mm.h>
#include <linux/module.h>
#include <linux/platform_data/simplefb.h>
#include <linux/platform_device.h>
#include "coreboot_table.h"
#define CB_TAG_FRAMEBUFFER …
static const struct simplefb_format formats[] = …;
static int framebuffer_probe(struct coreboot_device *dev)
{ … }
static void framebuffer_remove(struct coreboot_device *dev)
{ … }
static const struct coreboot_device_id framebuffer_ids[] = …;
MODULE_DEVICE_TABLE(coreboot, framebuffer_ids);
static struct coreboot_driver framebuffer_driver = …;
module_coreboot_driver(…) …;
MODULE_AUTHOR(…) …;
MODULE_DESCRIPTION(…) …;
MODULE_LICENSE(…) …;