sys/contrib/dev/acpica/source/include/platform/acefi.h

   1 /******************************************************************************
   2  *
   3  * Name: acefi.h - OS specific defines, etc.
   4  *
   5  *****************************************************************************/
   6
   7 /*
   8  * Copyright (C) 2000 - 2014, Intel Corp.
   9  * All rights reserved.
  10  *
  11  * Redistribution and use in source and binary forms, with or without
  12  * modification, are permitted provided that the following conditions
  13  * are met:
  14  * 1. Redistributions of source code must retain the above copyright
  15  *    notice, this list of conditions, and the following disclaimer,
  16  *    without modification.
  17  * 2. Redistributions in binary form must reproduce at minimum a disclaimer
  18  *    substantially similar to the "NO WARRANTY" disclaimer below
  19  *    ("Disclaimer") and any redistribution must be conditioned upon
  20  *    including a substantially similar Disclaimer requirement for further
  21  *    binary redistribution.
  22  * 3. Neither the names of the above-listed copyright holders nor the names
  23  *    of any contributors may be used to endorse or promote products derived
  24  *    from this software without specific prior written permission.
  25  *
  26  * Alternatively, this software may be distributed under the terms of the
  27  * GNU General Public License ("GPL") version 2 as published by the Free
  28  * Software Foundation.
  29  *
  30  * NO WARRANTY
  31  * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
  32  * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
  33  * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTIBILITY AND FITNESS FOR
  34  * A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
  35  * HOLDERS OR CONTRIBUTORS BE LIABLE FOR SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
  36  * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
  37  * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
  38  * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT,
  39  * STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING
  40  * IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
  41  * POSSIBILITY OF SUCH DAMAGES.
  42  */
  43
  44 #ifndef __ACEFI_H__
  45 #define __ACEFI_H__
  46
  47 #include <stdarg.h>
  48 #if defined(_GNU_EFI)
  49 #include <stdint.h>
  50 #include <unistd.h>
  51 #endif
  52 #include <efi.h>
  53 #include <efistdarg.h>
  54 #include <efilib.h>
  55
  56
  57 /* AED EFI definitions */
  58
  59 #if defined(_AED_EFI)
  60
  61 /* _int64 works for both IA32 and IA64 */
  62
  63 #define COMPILER_DEPENDENT_INT64   __int64
  64 #define COMPILER_DEPENDENT_UINT64  unsigned __int64
  65
  66 /*
  67  * Calling conventions:
  68  *
  69  * ACPI_SYSTEM_XFACE        - Interfaces to host OS (handlers, threads)
  70  * ACPI_EXTERNAL_XFACE      - External ACPI interfaces
  71  * ACPI_INTERNAL_XFACE      - Internal ACPI interfaces
  72  * ACPI_INTERNAL_VAR_XFACE  - Internal variable-parameter list interfaces
  73  */
  74 #define ACPI_SYSTEM_XFACE
  75 #define ACPI_EXTERNAL_XFACE
  76 #define ACPI_INTERNAL_XFACE
  77 #define ACPI_INTERNAL_VAR_XFACE
  78
  79 /* warn C4142: redefinition of type */
  80
  81 #pragma warning(disable:4142)
  82
  83 #endif
  84
  85
  86 /* GNU EFI definitions */
  87
  88 #if defined(_GNU_EFI)
  89
  90 /* Using GCC for GNU EFI */
  91
  92 #include "acgcc.h"
  93
  94 #undef ACPI_USE_SYSTEM_CLIBRARY
  95 #undef ACPI_USE_STANDARD_HEADERS
  96 #undef ACPI_USE_NATIVE_DIVIDE
  97 #define ACPI_USE_SYSTEM_INTTYPES
  98
  99 #define ACPI_FILE           SIMPLE_TEXT_OUTPUT_INTERFACE *
 100 #define ACPI_FILE_OUT       ST->ConOut
 101 #define ACPI_FILE_ERR       ST->ConOut
 102
 103 /*
 104  * Math helpers
 105  */
 106 #define ACPI_DIV_64_BY_32(n_hi, n_lo, d32, q32, r32) \
 107     do {                                             \
 108         UINT64 __n = ((UINT64) n_hi) << 32 | (n_lo); \
 109         (q32) = DivU64x32 ((__n), (d32), &(r32));    \
 110     } while (0)
 111
 112 #define ACPI_SHIFT_RIGHT_64(n_hi, n_lo) \
 113     do {                                \
 114         (n_lo) >>= 1;                   \
 115         (n_lo) |= (((n_hi) & 1) << 31); \
 116         (n_hi) >>= 1;                   \
 117     } while (0)
 118
 119 /*
 120  * EFI specific prototypes
 121  */
 122 EFI_STATUS
 123 efi_main (
 124     EFI_HANDLE              Image,
 125     EFI_SYSTEM_TABLE        *SystemTab);
 126
 127 int
 128 acpi_main (
 129     int                     argc,
 130     char                    *argv[]);
 131
 132
 133 #endif
 134
 135
 136 #endif /* __ACEFI_H__ */