src/arch/i386/include/arch/acpigen.h

   1 /*
   2  * This file is part of the coreboot project.
   3  *
   4  * Copyright (C) 2009 Rudolf Marek <r.marek@assembler.cz>
   5  *
   6  * This program is free software; you can redistribute it and/or modify
   7  * it under the terms of the GNU General Public License as published by
   8  * the Free Software Foundation; version 2 of the License.
   9  *
  10  * This program is distributed in the hope that it will be useful,
  11  * but WITHOUT ANY WARRANTY; without even the implied warranty of
  12  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  13  * GNU General Public License for more details.
  14  *
  15  * You should have received a copy of the GNU General Public License
  16  * along with this program; if not, write to the Free Software
  17  * Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA  02110-1301 USA
  18  */
  19
  20 #ifndef LIBACPI_H
  21 #define LIBACPI_H
  22
  23 #include <assert.h>
  24 #include <stdlib.h>
  25 #include <stdint.h>
  26
  27 void acpigen_patch_len(int len);
  28 void acpigen_set_current(char *curr);
  29 char *acpigen_get_current(void);
  30 int acpigen_write_package(int nr_el);
  31 int acpigen_write_byte(unsigned int data);
  32 int acpigen_emit_byte(unsigned char data);
  33 int acpigen_emit_stream(const char *data, int size);
  34 int acpigen_emit_namestring(const char *namepath);
  35 int acpigen_write_dword(unsigned int data);
  36 int acpigen_write_qword(uint64_t data);
  37 int acpigen_write_name(const char *name);
  38 int acpigen_write_name_dword(const char *name, uint32_t val);
  39 int acpigen_write_name_qword(const char *name, uint64_t val);
  40 int acpigen_write_name_byte(const char *name, uint8_t val);
  41 int acpigen_write_scope(const char *name);
  42 int acpigen_write_PPC(u8 nr);
  43 int acpigen_write_empty_PCT(void);
  44 int acpigen_write_PSS_package(u32 coreFreq, u32 power, u32 transLat, u32 busmLat,
  45                         u32 control, u32 status);
  46 typedef enum { SW_ALL=0xfc, SW_ANY=0xfd, HW_ALL=0xfe } PSD_coord;
  47 int acpigen_write_PSD_package(u32 domain, u32 numprocs, PSD_coord coordtype);
  48 int acpigen_write_processor(u8 cpuindex, u32 pblock_addr, u8 pblock_len);
  49 int acpigen_write_mem32fixed(int readwrite, u32 base, u32 size);
  50 int acpigen_write_io16(u16 min, u16 max, u8 align, u8 len, u8 decode16);
  51 int acpigen_write_resourcetemplate_header(void);
  52 int acpigen_write_resourcetemplate_footer(int len);
  53 int acpigen_write_mainboard_resource_template(void);
  54 int acpigen_write_mainboard_resources(const char *scope, const char *name);
  55
  56 #endif