#include <linux/acpi.h>
#include <linux/bits.h>
#include <linux/device.h>
#include <linux/err.h>
#include <linux/kernel.h>
#include <linux/module.h>
#include <linux/dma-mapping.h>
#include <linux/pci.h>
#include <linux/platform_device.h>
#include "internal.h"
#define ACPI_ALLOW_WO_RESOURCES …
static const struct acpi_device_id forbidden_id_list[] = …;
static struct platform_device *acpi_platform_device_find_by_companion(struct acpi_device *adev)
{ … }
static int acpi_platform_device_remove_notify(struct notifier_block *nb,
unsigned long value, void *arg)
{ … }
static struct notifier_block acpi_platform_notifier = …;
static void acpi_platform_fill_resource(struct acpi_device *adev,
const struct resource *src, struct resource *dest)
{ … }
static unsigned int acpi_platform_resource_count(struct acpi_resource *ares, void *data)
{ … }
struct platform_device *acpi_create_platform_device(struct acpi_device *adev,
const struct property_entry *properties)
{ … }
EXPORT_SYMBOL_GPL(…);
void __init acpi_platform_init(void)
{ … }