2010-09-02 17:44:04 +02:00
|
|
|
#include <minix/types.h>
|
|
|
|
#include <minix/ipc.h>
|
|
|
|
|
|
|
|
#define ACPI_REQ_GET_IRQ 1
|
2010-10-21 19:07:09 +02:00
|
|
|
#define ACPI_REQ_MAP_BRIDGE 2
|
2010-09-02 17:44:04 +02:00
|
|
|
|
|
|
|
struct acpi_request_hdr {
|
|
|
|
endpoint_t m_source; /* message header */
|
|
|
|
u32_t request;
|
|
|
|
};
|
|
|
|
|
|
|
|
/*
|
|
|
|
* Message to request dev/pin translation to IRQ by acpi using the acpi routing
|
|
|
|
* tables
|
|
|
|
*/
|
|
|
|
struct acpi_get_irq_req {
|
|
|
|
struct acpi_request_hdr hdr;
|
2010-10-21 19:07:09 +02:00
|
|
|
u32_t bus;
|
2010-09-02 17:44:04 +02:00
|
|
|
u32_t dev;
|
|
|
|
u32_t pin;
|
2010-10-21 19:07:09 +02:00
|
|
|
u32_t __padding[4];
|
2010-09-02 17:44:04 +02:00
|
|
|
};
|
|
|
|
|
|
|
|
/* response from acpi to acpi_get_irq_req */
|
|
|
|
struct acpi_get_irq_resp {
|
|
|
|
endpoint_t m_source; /* message header */
|
|
|
|
i32_t irq;
|
|
|
|
u32_t __padding[7];
|
|
|
|
};
|
2010-10-21 19:07:09 +02:00
|
|
|
|
|
|
|
/* message format for pci bridge mappings to acpi */
|
|
|
|
struct acpi_map_bridge_req {
|
|
|
|
struct acpi_request_hdr hdr;
|
|
|
|
u32_t primary_bus;
|
|
|
|
u32_t secondary_bus;
|
|
|
|
u32_t device;
|
|
|
|
u32_t __padding[4];
|
|
|
|
};
|
|
|
|
|
|
|
|
struct acpi_map_bridge_resp {
|
|
|
|
endpoint_t m_source; /* message header */
|
|
|
|
int err;
|
|
|
|
u32_t __padding[7];
|
|
|
|
};
|