/*-
 * Copyright (c) 2000 Michael Smith
 * Copyright (c) 2000 BSDi
 * All rights reserved.
 *
 * Redistribution and use in source and binary forms, with or without
 * modification, are permitted provided that the following conditions
 * are met:
 * 1. Redistributions of source code must retain the above copyright
 *    notice, this list of conditions and the following disclaimer.
 * 2. Redistributions in binary form must reproduce the above copyright
 *    notice, this list of conditions and the following disclaimer in the
 *    documentation and/or other materials provided with the distribution.
 *
 * THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND
 * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
 * ARE DISCLAIMED.  IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
 * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
 * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
 * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
 * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
 * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
 * SUCH DAMAGE.
 */

#include <sys/cdefs.h>
#include "opt_acpi.h"
#include <sys/param.h>
#include <sys/kernel.h>
#include <sys/bus.h>
#include <sys/limits.h>
#include <sys/malloc.h>
#include <sys/module.h>

#if defined(__i386__) || defined(__amd64__)
#include <machine/pci_cfgreg.h>
#endif
#include <machine/bus.h>
#include <machine/resource.h>
#include <sys/rman.h>

#include <contrib/dev/acpica/include/acpi.h>
#include <contrib/dev/acpica/include/accommon.h>

#include <dev/acpica/acpivar.h>

#ifdef INTRNG
#include "acpi_bus_if.h"
#endif

/* Hooks for the ACPI CA debugging infrastructure */
#define _COMPONENT      ACPI_BUS
ACPI_MODULE_NAME("RESOURCE")

struct lookup_irq_request {
    ACPI_RESOURCE *acpi_res;
    u_int       irq;
    int         counter;
    int         rid;
    int         found;
    int         checkrid;
    int         trig;
    int         pol;
};

static char *pcilink_ids[] = { "PNP0C0F", NULL };

/*
 * Devices with invalid memory resources
 */
static char *bad_memresource_ids[] = {
    /* PRCx on Radxa Orion O6 conflicts with the PCI resource range */
    "CIXH2020",
    NULL
};


static ACPI_STATUS
acpi_lookup_irq_handler(ACPI_RESOURCE *res, void *context)
{
    struct lookup_irq_request *req;
    size_t len;
    u_int irqnum, trig, pol;
    bool found;

    found = false;
    req = (struct lookup_irq_request *)context;

    switch (res->Type) {
    case ACPI_RESOURCE_TYPE_IRQ:
        irqnum = res->Data.Irq.InterruptCount;
        for (int i = 0; i < irqnum; i++) {
            if (res->Data.Irq.Interrupts[i] == req->irq) {
                found = true;
                break;
            }
        }
        len = ACPI_RS_SIZE(ACPI_RESOURCE_IRQ);
        trig = res->Data.Irq.Triggering;
        pol = res->Data.Irq.Polarity;
        break;
    case ACPI_RESOURCE_TYPE_EXTENDED_IRQ:
        irqnum = res->Data.ExtendedIrq.InterruptCount;
        for (int i = 0; i < irqnum; i++) {
            if (res->Data.ExtendedIrq.Interrupts[i] == req->irq) {
                found = true;
                break;
            }
        }
        len = ACPI_RS_SIZE(ACPI_RESOURCE_EXTENDED_IRQ);
        trig = res->Data.ExtendedIrq.Triggering;
        pol = res->Data.ExtendedIrq.Polarity;
        break;
    default:
        return (AE_OK);
    }
    if (!found)
        return (AE_OK);
    if (req->checkrid) {
        if (req->counter != req->rid) {
            req->counter++;
            return (AE_OK);
        }
    }
    req->found = 1;
    req->pol = pol;
    req->trig = trig;
    if (req->acpi_res != NULL)
        bcopy(res, req->acpi_res, len);
    return (AE_CTRL_TERMINATE);
}

ACPI_STATUS
acpi_lookup_irq_resource(device_t dev, int rid, struct resource *res,
    ACPI_RESOURCE *acpi_res)
{
    struct lookup_irq_request req;
    ACPI_STATUS status;

    req.acpi_res = acpi_res;
    req.irq = rman_get_start(res);
    req.counter = 0;
    req.rid = rid;
    req.found = 0;
    req.checkrid = 1;
    status = AcpiWalkResources(acpi_get_handle(dev), "_CRS",
        acpi_lookup_irq_handler, &req);
    if (ACPI_SUCCESS(status) && req.found == 0)
        status = AE_NOT_FOUND;
    return (status);
}

void
acpi_config_intr(device_t dev, ACPI_RESOURCE *res)
{
    u_int irq;
    int pol, trig;

    switch (res->Type) {
    case ACPI_RESOURCE_TYPE_IRQ:
        KASSERT(res->Data.Irq.InterruptCount == 1,
            ("%s: multiple interrupts", __func__));
        irq = res->Data.Irq.Interrupts[0];
        trig = res->Data.Irq.Triggering;
        pol = res->Data.Irq.Polarity;
        break;
    case ACPI_RESOURCE_TYPE_EXTENDED_IRQ:
        KASSERT(res->Data.ExtendedIrq.InterruptCount == 1,
            ("%s: multiple interrupts", __func__));
        irq = res->Data.ExtendedIrq.Interrupts[0];
        trig = res->Data.ExtendedIrq.Triggering;
        pol = res->Data.ExtendedIrq.Polarity;
        break;
    default:
        panic("%s: bad resource type %u", __func__, res->Type);
    }

#if defined(__amd64__) || defined(__i386__)
    if (irq < 16 && trig == ACPI_EDGE_SENSITIVE && pol == ACPI_ACTIVE_LOW &&
        acpi_override_isa_irq_polarity) {
        device_printf(dev, "forcing active-hi polarity for IRQ %u\n", irq);
        pol = ACPI_ACTIVE_HIGH;
    }
#endif
    BUS_CONFIG_INTR(dev, irq, (trig == ACPI_EDGE_SENSITIVE) ?
        INTR_TRIGGER_EDGE : INTR_TRIGGER_LEVEL, (pol == ACPI_ACTIVE_HIGH) ?
        INTR_POLARITY_HIGH : INTR_POLARITY_LOW);
}

#ifdef INTRNG
int
acpi_map_intr(device_t dev, u_int irq, ACPI_HANDLE handle)
{
    struct lookup_irq_request req;
    int trig, pol;

    trig = ACPI_LEVEL_SENSITIVE;
    pol = ACPI_ACTIVE_HIGH;
    if (handle != NULL) {
        req.found = 0;
        req.acpi_res = NULL;
        req.irq = irq;
        req.counter = 0;
        req.rid = 0;
        req.checkrid = 0;
        AcpiWalkResources(handle, "_CRS", acpi_lookup_irq_handler, &req);
        if (req.found != 0) {
            trig = req.trig;
            pol = req.pol;
        }
    }
    return ACPI_BUS_MAP_INTR(device_get_parent(dev), dev, irq,
        (trig == ACPI_EDGE_SENSITIVE) ?  INTR_TRIGGER_EDGE : INTR_TRIGGER_LEVEL,
        (pol == ACPI_ACTIVE_HIGH) ?  INTR_POLARITY_HIGH : INTR_POLARITY_LOW);
}
#endif

struct acpi_resource_context {
    struct acpi_parse_resource_set *set;
    device_t    dev;
    void        *context;
    bool        ignore_producer_flag;
};

#ifdef ACPI_DEBUG_OUTPUT
static const char *
acpi_address_range_name(UINT8 ResourceType)
{
    static char buf[16];

    switch (ResourceType) {
    case ACPI_MEMORY_RANGE:
            return ("Memory");
    case ACPI_IO_RANGE:
            return ("IO");
    case ACPI_BUS_NUMBER_RANGE:
            return ("Bus Number");
    default:
            snprintf(buf, sizeof(buf), "type %u", ResourceType);
            return (buf);
    }
}
#endif
            
static ACPI_STATUS
acpi_parse_resource(ACPI_RESOURCE *res, void *context)
{
    struct acpi_parse_resource_set *set;
    struct acpi_resource_context *arc;
    UINT64 min, max, length, gran;
#ifdef ACPI_DEBUG
    const char *name;
#endif
    device_t dev;

    arc = context;
    dev = arc->dev;
    set = arc->set;

    switch (res->Type) {
    case ACPI_RESOURCE_TYPE_END_TAG:
        ACPI_DEBUG_PRINT((ACPI_DB_RESOURCES, "EndTag\n"));
        break;
    case ACPI_RESOURCE_TYPE_FIXED_IO:
        if (res->Data.FixedIo.AddressLength <= 0)
            break;
        ACPI_DEBUG_PRINT((ACPI_DB_RESOURCES, "FixedIo 0x%x/%d\n",
            res->Data.FixedIo.Address, res->Data.FixedIo.AddressLength));
        set->set_ioport(dev, arc->context, res->Data.FixedIo.Address,
            res->Data.FixedIo.AddressLength);
        break;
    case ACPI_RESOURCE_TYPE_IO:
        if (res->Data.Io.AddressLength <= 0)
            break;
        if (res->Data.Io.Minimum == res->Data.Io.Maximum) {
            ACPI_DEBUG_PRINT((ACPI_DB_RESOURCES, "Io 0x%x/%d\n",
                res->Data.Io.Minimum, res->Data.Io.AddressLength));
            set->set_ioport(dev, arc->context, res->Data.Io.Minimum,
                res->Data.Io.AddressLength);
        } else {
            ACPI_DEBUG_PRINT((ACPI_DB_RESOURCES, "Io 0x%x-0x%x/%d\n",
                res->Data.Io.Minimum, res->Data.Io.Maximum,
                res->Data.Io.AddressLength));
            set->set_iorange(dev, arc->context, res->Data.Io.Minimum,
                res->Data.Io.Maximum, res->Data.Io.AddressLength,
                res->Data.Io.Alignment);
        }
        break;
    case ACPI_RESOURCE_TYPE_FIXED_MEMORY32:
        if (res->Data.FixedMemory32.AddressLength <= 0)
            break;
        ACPI_DEBUG_PRINT((ACPI_DB_RESOURCES, "FixedMemory32 0x%x/%d\n",
            res->Data.FixedMemory32.Address,
            res->Data.FixedMemory32.AddressLength));
        set->set_memory(dev, arc->context, res->Data.FixedMemory32.Address, 
            res->Data.FixedMemory32.AddressLength);
        break;
    case ACPI_RESOURCE_TYPE_MEMORY32:
        if (res->Data.Memory32.AddressLength <= 0)
            break;
        if (res->Data.Memory32.Minimum == res->Data.Memory32.Maximum) {
            ACPI_DEBUG_PRINT((ACPI_DB_RESOURCES, "Memory32 0x%x/%d\n",
                res->Data.Memory32.Minimum, res->Data.Memory32.AddressLength));
            set->set_memory(dev, arc->context, res->Data.Memory32.Minimum,
                res->Data.Memory32.AddressLength);
        } else {
            ACPI_DEBUG_PRINT((ACPI_DB_RESOURCES, "Memory32 0x%x-0x%x/%d\n",
                res->Data.Memory32.Minimum, res->Data.Memory32.Maximum,
                res->Data.Memory32.AddressLength));
            set->set_memoryrange(dev, arc->context, res->Data.Memory32.Minimum,
                res->Data.Memory32.Maximum, res->Data.Memory32.AddressLength,
                res->Data.Memory32.Alignment);
        }
        break;
    case ACPI_RESOURCE_TYPE_MEMORY24:
        if (res->Data.Memory24.AddressLength <= 0)
            break;
        if (res->Data.Memory24.Minimum == res->Data.Memory24.Maximum) {
            ACPI_DEBUG_PRINT((ACPI_DB_RESOURCES, "Memory24 0x%x/%d\n",
                res->Data.Memory24.Minimum, res->Data.Memory24.AddressLength));
            set->set_memory(dev, arc->context, res->Data.Memory24.Minimum,
                res->Data.Memory24.AddressLength);
        } else {
            ACPI_DEBUG_PRINT((ACPI_DB_RESOURCES, "Memory24 0x%x-0x%x/%d\n",
                res->Data.Memory24.Minimum, res->Data.Memory24.Maximum,
                res->Data.Memory24.AddressLength));
            set->set_memoryrange(dev, arc->context, res->Data.Memory24.Minimum,
                res->Data.Memory24.Maximum, res->Data.Memory24.AddressLength,
                res->Data.Memory24.Alignment);
        }
        break;
    case ACPI_RESOURCE_TYPE_IRQ:
        /*
         * from 1.0b 6.4.2 
         * "This structure is repeated for each separate interrupt
         * required"
         */
        set->set_irq(dev, arc->context, res->Data.Irq.Interrupts,
            res->Data.Irq.InterruptCount, res->Data.Irq.Triggering,
            res->Data.Irq.Polarity);
        break;
    case ACPI_RESOURCE_TYPE_DMA:
        /*
         * from 1.0b 6.4.3 
         * "This structure is repeated for each separate DMA channel
         * required"
         */
        set->set_drq(dev, arc->context, res->Data.Dma.Channels,
            res->Data.Dma.ChannelCount);
        break;
    case ACPI_RESOURCE_TYPE_START_DEPENDENT:
        ACPI_DEBUG_PRINT((ACPI_DB_RESOURCES, "start dependent functions\n"));
        set->set_start_dependent(dev, arc->context,
            res->Data.StartDpf.CompatibilityPriority);
        break;
    case ACPI_RESOURCE_TYPE_END_DEPENDENT:
        ACPI_DEBUG_PRINT((ACPI_DB_RESOURCES, "end dependent functions\n"));
        set->set_end_dependent(dev, arc->context);
        break;
    case ACPI_RESOURCE_TYPE_ADDRESS16:
    case ACPI_RESOURCE_TYPE_ADDRESS32:
    case ACPI_RESOURCE_TYPE_ADDRESS64:
    case ACPI_RESOURCE_TYPE_EXTENDED_ADDRESS64:
        switch (res->Type) {
        case ACPI_RESOURCE_TYPE_ADDRESS16:
            gran = res->Data.Address16.Address.Granularity;
            min = res->Data.Address16.Address.Minimum;
            max = res->Data.Address16.Address.Maximum;
            length = res->Data.Address16.Address.AddressLength;
#ifdef ACPI_DEBUG
            name = "Address16";
#endif
            break;
        case ACPI_RESOURCE_TYPE_ADDRESS32:
            gran = res->Data.Address32.Address.Granularity;
            min = res->Data.Address32.Address.Minimum;
            max = res->Data.Address32.Address.Maximum;
            length = res->Data.Address32.Address.AddressLength;
#ifdef ACPI_DEBUG
            name = "Address32";
#endif
            break;
        case ACPI_RESOURCE_TYPE_ADDRESS64:
            gran = res->Data.Address64.Address.Granularity;
            min = res->Data.Address64.Address.Minimum;
            max = res->Data.Address64.Address.Maximum;
            length = res->Data.Address64.Address.AddressLength;
#ifdef ACPI_DEBUG
            name = "Address64";
#endif
            break;
        default:
            KASSERT(res->Type == ACPI_RESOURCE_TYPE_EXTENDED_ADDRESS64,
                ("should never happen"));
            gran = res->Data.ExtAddress64.Address.Granularity;
            min = res->Data.ExtAddress64.Address.Minimum;
            max = res->Data.ExtAddress64.Address.Maximum;
            length = res->Data.ExtAddress64.Address.AddressLength;
#ifdef ACPI_DEBUG
            name = "ExtAddress64";
#endif
            break;
        }
        if (length <= 0)
            break;
        if (!arc->ignore_producer_flag &&
            res->Data.Address.ProducerConsumer != ACPI_CONSUMER) {
            ACPI_DEBUG_PRINT((ACPI_DB_RESOURCES,
                "ignored %s %s producer\n", name,
                acpi_address_range_name(res->Data.Address.ResourceType)));
            break;
        }
        if (res->Data.Address.ResourceType != ACPI_MEMORY_RANGE &&
            res->Data.Address.ResourceType != ACPI_IO_RANGE) {
            ACPI_DEBUG_PRINT((ACPI_DB_RESOURCES,
                "ignored %s for non-memory, non-I/O\n", name));
            break;
        }

#ifdef __i386__
        if (min > ULONG_MAX || (res->Data.Address.MaxAddressFixed && max >
            ULONG_MAX)) {
            ACPI_DEBUG_PRINT((ACPI_DB_RESOURCES, "ignored %s above 4G\n",
                name));
            break;
        }
        if (max > ULONG_MAX)
                max = ULONG_MAX;
#endif
        if (res->Data.Address.MinAddressFixed == ACPI_ADDRESS_FIXED &&
            res->Data.Address.MaxAddressFixed == ACPI_ADDRESS_FIXED) {
            if (res->Data.Address.ResourceType == ACPI_MEMORY_RANGE) {
                ACPI_DEBUG_PRINT((ACPI_DB_RESOURCES, "%s/Memory 0x%jx/%ju\n",
                    name, (uintmax_t)min, (uintmax_t)length));
                set->set_memory(dev, arc->context, min, length);
            } else {
                ACPI_DEBUG_PRINT((ACPI_DB_RESOURCES, "%s/IO 0x%jx/%ju\n", name,
                    (uintmax_t)min, (uintmax_t)length));
                set->set_ioport(dev, arc->context, min, length);
            }
        } else if (res->Data.Address.MinAddressFixed != ACPI_ADDRESS_FIXED &&
            res->Data.Address.MaxAddressFixed != ACPI_ADDRESS_FIXED) {
            /* Fixed size, variable location resource descriptor */
            min = roundup(min, gran + 1);
            if ((min + length - 1) > max) {
                device_printf(dev,
                    "invalid memory range: start: %jx end: %jx max: %jx\n",
                    (uintmax_t)min, (uintmax_t)(min + length - 1),
                    (uintmax_t)max);
            } else {
                if (res->Data.Address.ResourceType == ACPI_MEMORY_RANGE) {
                    ACPI_DEBUG_PRINT((ACPI_DB_RESOURCES,
                        "%s/Memory 0x%jx/%ju\n", name, (uintmax_t)min,
                        (uintmax_t)length));
                    set->set_memory(dev, arc->context, min, length);
                } else {
                    ACPI_DEBUG_PRINT((ACPI_DB_RESOURCES, "%s/IO 0x%jx/%ju\n",
                        name, (uintmax_t)min, (uintmax_t)length));
                    set->set_ioport(dev, arc->context, min, length);
                }
            }
        } else {
            if (res->Data.Address32.ResourceType == ACPI_MEMORY_RANGE) {
                ACPI_DEBUG_PRINT((ACPI_DB_RESOURCES,
                    "%s/Memory 0x%jx-0x%jx/%ju\n", name, (uintmax_t)min,
                    (uintmax_t)max, (uintmax_t)length));
                set->set_memoryrange(dev, arc->context, min, max, length, gran);
            } else {
                ACPI_DEBUG_PRINT((ACPI_DB_RESOURCES, "%s/IO 0x%jx-0x%jx/%ju\n",
                    name, (uintmax_t)min, (uintmax_t)max, (uintmax_t)length));
                set->set_iorange(dev, arc->context, min, max, length, gran);
            }
        }                   
        break;
    case ACPI_RESOURCE_TYPE_EXTENDED_IRQ:
        if (res->Data.ExtendedIrq.ProducerConsumer != ACPI_CONSUMER) {
            ACPI_DEBUG_PRINT((ACPI_DB_RESOURCES, "ignored ExtIRQ producer\n"));
            break;
        }
        set->set_ext_irq(dev, arc->context, res->Data.ExtendedIrq.Interrupts,
            res->Data.ExtendedIrq.InterruptCount,
            res->Data.ExtendedIrq.Triggering, res->Data.ExtendedIrq.Polarity);
        break;
    case ACPI_RESOURCE_TYPE_VENDOR:
        ACPI_DEBUG_PRINT((ACPI_DB_RESOURCES,
            "unimplemented VendorSpecific resource\n"));
        break;
    default:
        break;
    }
    return (AE_OK);
}

/*
 * Fetch a device's resources and associate them with the device.
 *
 * Note that it might be nice to also locate ACPI-specific resource items, such
 * as GPE bits.
 *
 * We really need to split the resource-fetching code out from the
 * resource-parsing code, since we may want to use the parsing
 * code for _PRS someday.
 */
ACPI_STATUS
acpi_parse_resources(device_t dev, ACPI_HANDLE handle,
                     struct acpi_parse_resource_set *set, void *arg)
{
    struct acpi_resource_context arc;
    ACPI_STATUS         status;

    ACPI_FUNCTION_TRACE((char *)(uintptr_t)__func__);

    set->set_init(dev, arg, &arc.context);
    arc.set = set;
    arc.dev = dev;
    arc.ignore_producer_flag = false;

    /*
     * UARTs on ThunderX2 set ResourceProducer on memory resources, with
     * 7.2 firmware.
     */
    if (acpi_MatchHid(handle, "ARMH0011") != ACPI_MATCHHID_NOMATCH)
            arc.ignore_producer_flag = true;

    /*
     * ARM Coresight on N1SDP set ResourceProducer on memory resources.
     * Coresight devices: ETM, STM, TPIU, ETF/ETR, REP, FUN.
     */
    if (acpi_MatchHid(handle, "ARMHC500") != ACPI_MATCHHID_NOMATCH ||
        acpi_MatchHid(handle, "ARMHC502") != ACPI_MATCHHID_NOMATCH ||
        acpi_MatchHid(handle, "ARMHC600") != ACPI_MATCHHID_NOMATCH ||
        acpi_MatchHid(handle, "ARMHC979") != ACPI_MATCHHID_NOMATCH ||
        acpi_MatchHid(handle, "ARMHC97C") != ACPI_MATCHHID_NOMATCH ||
        acpi_MatchHid(handle, "ARMHC98D") != ACPI_MATCHHID_NOMATCH ||
        acpi_MatchHid(handle, "ARMHC9FF") != ACPI_MATCHHID_NOMATCH ||
        acpi_MatchHid(handle, "ARMHD620") != ACPI_MATCHHID_NOMATCH)
            arc.ignore_producer_flag = true;

    /*
     * The DesignWare I2C Controller on Ampere Altra sets ResourceProducer on
     * memory resources.
     */
    if (acpi_MatchHid(handle, "APMC0D0F") != ACPI_MATCHHID_NOMATCH)
            arc.ignore_producer_flag = true;

    status = AcpiWalkResources(handle, "_CRS", acpi_parse_resource, &arc);
    if (ACPI_FAILURE(status) && status != AE_NOT_FOUND) {
        printf("can't fetch resources for %s - %s\n",
            acpi_name(handle), AcpiFormatException(status));
        return_ACPI_STATUS (status);
    }
    set->set_done(dev, arc.context);
    return_ACPI_STATUS (AE_OK);
}

/*
 * Resource-set vectors used to attach _CRS-derived resources 
 * to an ACPI device.
 */
static void     acpi_res_set_init(device_t dev, void *arg, void **context);
static void     acpi_res_set_done(device_t dev, void *context);
static void     acpi_res_set_ioport(device_t dev, void *context,
                                    uint64_t base, uint64_t length);
static void     acpi_res_set_iorange(device_t dev, void *context,
                                     uint64_t low, uint64_t high, 
                                     uint64_t length, uint64_t align);
static void     acpi_res_set_memory(device_t dev, void *context,
                                    uint64_t base, uint64_t length);
static void     acpi_res_set_memoryrange(device_t dev, void *context,
                                         uint64_t low, uint64_t high, 
                                         uint64_t length, uint64_t align);
static void     acpi_res_set_irq(device_t dev, void *context, uint8_t *irq,
                                 int count, int trig, int pol);
static void     acpi_res_set_ext_irq(device_t dev, void *context,
                                 uint32_t *irq, int count, int trig, int pol);
static void     acpi_res_set_drq(device_t dev, void *context, uint8_t *drq,
                                 int count);
static void     acpi_res_set_start_dependent(device_t dev, void *context,
                                             int preference);
static void     acpi_res_set_end_dependent(device_t dev, void *context);

struct acpi_parse_resource_set acpi_res_parse_set = {
    acpi_res_set_init,
    acpi_res_set_done,
    acpi_res_set_ioport,
    acpi_res_set_iorange,
    acpi_res_set_memory,
    acpi_res_set_memoryrange,
    acpi_res_set_irq,
    acpi_res_set_ext_irq,
    acpi_res_set_drq,
    acpi_res_set_start_dependent,
    acpi_res_set_end_dependent
};

struct acpi_res_context {
    int         ar_nio;
    int         ar_nmem;
    int         ar_nirq;
    int         ar_ndrq;
    void        *ar_parent;
};

/*
 * Some resources reported via _CRS should not be added as bus
 * resources.  This function returns true if a resource reported via
 * _CRS should be ignored.
 */
static bool
acpi_res_ignore(device_t dev, int type, rman_res_t start, rman_res_t count)
{
    struct acpi_device *ad = device_get_ivars(dev);
    ACPI_DEVICE_INFO *devinfo;
    bool allow;

    /* Ignore IRQ resources for PCI link devices. */
    if (type == SYS_RES_IRQ &&
        ACPI_ID_PROBE(device_get_parent(dev), dev, pcilink_ids, NULL) <= 0)
        return (true);

    /*
     * Ignore most resources for PCI root bridges.  Some BIOSes
     * incorrectly enumerate the memory ranges they decode as plain
     * memory resources instead of as ResourceProducer ranges.  Other
     * BIOSes incorrectly list system resource entries for I/O ranges
     * under the PCI bridge.  Do allow the one known-correct case on
     * x86 of a PCI bridge claiming the I/O ports used for PCI config
     * access.
     */
    if (type == SYS_RES_MEMORY || type == SYS_RES_IOPORT) {
        if (type == SYS_RES_MEMORY &&
            ACPI_ID_PROBE(device_get_parent(dev), dev, bad_memresource_ids,
            NULL) <= 0)
                return (true);

        if (ACPI_SUCCESS(AcpiGetObjectInfo(ad->ad_handle, &devinfo))) {
            if ((devinfo->Flags & ACPI_PCI_ROOT_BRIDGE) != 0) {
#if defined(__i386__) || defined(__amd64__)
                allow = (type == SYS_RES_IOPORT && start == CONF1_ADDR_PORT);
#else
                allow = false;
#endif
                if (!allow) {
                    AcpiOsFree(devinfo);
                    return (true);
                }
            }
            AcpiOsFree(devinfo);
        }
    }

    return (false);
}

static void
acpi_res_set_init(device_t dev, void *arg, void **context)
{
    struct acpi_res_context     *cp;

    if ((cp = AcpiOsAllocate(sizeof(*cp))) != NULL) {
        bzero(cp, sizeof(*cp));
        cp->ar_parent = arg;
        *context = cp;
    }
}

static void
acpi_res_set_done(device_t dev, void *context)
{
    struct acpi_res_context     *cp = (struct acpi_res_context *)context;

    if (cp == NULL)
        return;
    AcpiOsFree(cp);
}

static void
acpi_res_set_ioport(device_t dev, void *context, uint64_t base,
                    uint64_t length)
{
    struct acpi_res_context     *cp = (struct acpi_res_context *)context;

    if (cp == NULL)
        return;
    if (acpi_res_ignore(dev, SYS_RES_IOPORT, base, length))
        return;
    bus_set_resource(dev, SYS_RES_IOPORT, cp->ar_nio++, base, length);
}

static void
acpi_res_set_iorange(device_t dev, void *context, uint64_t low,
                     uint64_t high, uint64_t length, uint64_t align)
{
    struct acpi_res_context     *cp = (struct acpi_res_context *)context;

    if (cp == NULL)
        return;

    /*
     * XXX: Some BIOSes contain buggy _CRS entries where fixed I/O
     * ranges have the maximum base address (_MAX) to the end of the
     * I/O range instead of the start.  These are then treated as a
     * relocatable I/O range rather than a fixed I/O resource.  As a
     * workaround, treat I/O resources encoded this way as fixed I/O
     * ports.
     */
    if (high == (low + length)) {
        if (bootverbose)
            device_printf(dev,
                "_CRS has fixed I/O port range defined as relocatable\n");

        if (acpi_res_ignore(dev, SYS_RES_IOPORT, low, length))
            return;
        bus_set_resource(dev, SYS_RES_IOPORT, cp->ar_nio++, low, length);
        return;
    }

    device_printf(dev, "I/O range not supported\n");
}

static void
acpi_res_set_memory(device_t dev, void *context, uint64_t base,
                    uint64_t length)
{
    struct acpi_res_context     *cp = (struct acpi_res_context *)context;

    if (cp == NULL)
        return;
    if (acpi_res_ignore(dev, SYS_RES_MEMORY, base, length))
        return;
    bus_set_resource(dev, SYS_RES_MEMORY, cp->ar_nmem++, base, length);
}

static void
acpi_res_set_memoryrange(device_t dev, void *context, uint64_t low,
                         uint64_t high, uint64_t length, uint64_t align)
{
    struct acpi_res_context     *cp = (struct acpi_res_context *)context;

    if (cp == NULL)
        return;
    device_printf(dev, "memory range not supported\n");
}

static void
acpi_res_set_irq(device_t dev, void *context, uint8_t *irq, int count,
    int trig, int pol)
{
    struct acpi_res_context     *cp = (struct acpi_res_context *)context;
    int i;

    if (cp == NULL || irq == NULL)
        return;

    for (i = 0; i < count; i++) {
        if (acpi_res_ignore(dev, SYS_RES_IRQ, irq[i], 1))
            continue;
        bus_set_resource(dev, SYS_RES_IRQ, cp->ar_nirq++, irq[i], 1);
    }
}

static void
acpi_res_set_ext_irq(device_t dev, void *context, uint32_t *irq, int count,
    int trig, int pol)
{
    struct acpi_res_context     *cp = (struct acpi_res_context *)context;
    int i;

    if (cp == NULL || irq == NULL)
        return;

    for (i = 0; i < count; i++) {
        if (acpi_res_ignore(dev, SYS_RES_IRQ, irq[i], 1))
            continue;
        bus_set_resource(dev, SYS_RES_IRQ, cp->ar_nirq++, irq[i], 1);
    }
}

static void
acpi_res_set_drq(device_t dev, void *context, uint8_t *drq, int count)
{
    struct acpi_res_context     *cp = (struct acpi_res_context *)context;

    if (cp == NULL || drq == NULL)
        return;
    
    /* This implements no resource relocation. */
    if (count != 1)
        return;

    if (acpi_res_ignore(dev, SYS_RES_DRQ, *drq, 1))
        return;
    bus_set_resource(dev, SYS_RES_DRQ, cp->ar_ndrq++, *drq, 1);
}

static void
acpi_res_set_start_dependent(device_t dev, void *context, int preference)
{
    struct acpi_res_context     *cp = (struct acpi_res_context *)context;

    if (cp == NULL)
        return;
    device_printf(dev, "dependent functions not supported\n");
}

static void
acpi_res_set_end_dependent(device_t dev, void *context)
{
    struct acpi_res_context     *cp = (struct acpi_res_context *)context;

    if (cp == NULL)
        return;
    device_printf(dev, "dependent functions not supported\n");
}

/*
 * Resource-owning placeholders for IO and memory pseudo-devices.
 *
 * This code allocates system resources that will be used by ACPI
 * child devices.  The acpi parent manages these resources through a
 * private rman.
 */

static int      acpi_sysres_probe(device_t dev);
static int      acpi_sysres_attach(device_t dev);

static device_method_t acpi_sysres_methods[] = {
    /* Device interface */
    DEVMETHOD(device_probe,     acpi_sysres_probe),
    DEVMETHOD(device_attach,    acpi_sysres_attach),

    DEVMETHOD_END
};

static driver_t acpi_sysres_driver = {
    "acpi_sysresource",
    acpi_sysres_methods,
    0,
};

DRIVER_MODULE(acpi_sysresource, acpi, acpi_sysres_driver, 0, 0);
MODULE_DEPEND(acpi_sysresource, acpi, 1, 1, 1);

static int
acpi_sysres_probe(device_t dev)
{
    static char *sysres_ids[] = { "PNP0C01", "PNP0C02", NULL };
    int rv;

    if (acpi_disabled("sysresource"))
        return (ENXIO);
    rv = ACPI_ID_PROBE(device_get_parent(dev), dev, sysres_ids, NULL);
    if (rv > 0){
        return (rv);
    }
    device_set_desc(dev, "System Resource");
    device_quiet(dev);
    return (rv);
}

static int
acpi_sysres_attach(device_t dev)
{
    device_t bus;
    struct acpi_softc *bus_sc;
    struct resource_list_entry *bus_rle, *dev_rle;
    struct resource_list *bus_rl, *dev_rl;
    int done, type;
    rman_res_t start, end, count;

    /*
     * Loop through all current resources to see if the new one overlaps
     * any existing ones.  If so, grow the old one up and/or down
     * accordingly.  Discard any that are wholly contained in the old.  If
     * the resource is unique, add it to the parent.  It will later go into
     * the rman pool.
     */
    bus = device_get_parent(dev);
    dev_rl = BUS_GET_RESOURCE_LIST(bus, dev);
    bus_sc = acpi_device_get_parent_softc(dev);
    bus_rl = &bus_sc->sysres_rl;
    STAILQ_FOREACH(dev_rle, dev_rl, link) {
        if (dev_rle->type != SYS_RES_IOPORT && dev_rle->type != SYS_RES_MEMORY)
            continue;

        start = dev_rle->start;
        end = dev_rle->end;
        count = dev_rle->count;
        type = dev_rle->type;
        done = FALSE;

        STAILQ_FOREACH(bus_rle, bus_rl, link) {
            if (bus_rle->type != type)
                continue;

            /* New resource wholly contained in old, discard. */
            if (start >= bus_rle->start && end <= bus_rle->end)
                break;

            /* New tail overlaps old head, grow existing resource downward. */
            if (start < bus_rle->start && end >= bus_rle->start) {
                bus_rle->count += bus_rle->start - start;
                bus_rle->start = start;
                done = TRUE;
            }

            /* New head overlaps old tail, grow existing resource upward. */
            if (start <= bus_rle->end && end > bus_rle->end) {
                bus_rle->count += end - bus_rle->end;
                bus_rle->end = end;
                done = TRUE;
            }

            /* If we adjusted the old resource, we're finished. */
            if (done)
                break;
        }

        /* If we didn't merge with anything, add this resource. */
        if (bus_rle == NULL)
            resource_list_add_next(bus_rl, type, start, end, count);
    }

    /* After merging/moving resources to the parent, free the list. */
    resource_list_free(dev_rl);

    return (0);
}