l4/pkg/io/server/src/__acpi.h

   1 /*
   2  * (c) 2010 Alexander Warg <warg@os.inf.tu-dresden.de>
   3  *     economic rights: Technische Universität Dresden (Germany)
   4  *
   5  * This file is part of TUD:OS and distributed under the terms of the
   6  * GNU General Public License 2.
   7  * Please see the COPYING-GPL-2 file for details.
   8  */
   9 #pragma once
  10
  11 #include <l4/sys/compiler.h>
  12
  13 class Pci_survey_config;
  14
  15 class Acpi_config
  16 {
  17 public:
  18   virtual Pci_survey_config *pci_survey_config() = 0;
  19   virtual ~Acpi_config() {}
  20 };
  21
  22 struct acpica_pci_irq
  23 {
  24   unsigned int irq;
  25   unsigned char trigger;
  26   unsigned char polarity;
  27 };
  28
  29 int acpica_init();
  30