kernel/arch/ia32xen/include/types.h

   1 /*
   2  * Copyright (C) 2001-2004 Jakub Jermar
   3  * All rights reserved.
   4  *
   5  * Redistribution and use in source and binary forms, with or without
   6  * modification, are permitted provided that the following conditions
   7  * are met:
   8  *
   9  * - Redistributions of source code must retain the above copyright
  10  *   notice, this list of conditions and the following disclaimer.
  11  * - Redistributions in binary form must reproduce the above copyright
  12  *   notice, this list of conditions and the following disclaimer in the
  13  *   documentation and/or other materials provided with the distribution.
  14  * - The name of the author may not be used to endorse or promote products
  15  *   derived from this software without specific prior written permission.
  16  *
  17  * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
  18  * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
  19  * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
  20  * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
  21  * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
  22  * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
  23  * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
  24  * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
  25  * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
  26  * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
  27  */
  28
  29 /** @addtogroup ia32xen
  30  * @{
  31  */
  32 /** @file
  33  */
  34
  35 #ifndef KERN_ia32xen_TYPES_H_
  36 #define KERN_ia32xen_TYPES_H_
  37
  38 #define NULL 0
  39
  40 typedef signed char int8_t;
  41 typedef signed short int16_t;
  42 typedef signed long int32_t;
  43 typedef signed long long int64_t;
  44
  45 typedef unsigned char uint8_t;
  46 typedef unsigned short uint16_t;
  47 typedef unsigned long uint32_t;
  48 typedef unsigned long long uint64_t;
  49
  50 typedef uint32_t uintptr_t;
  51 typedef uint32_t pfn_t;
  52
  53 typedef uint8_t ipl_t;
  54
  55 typedef uint32_t unative_t;
  56 typedef int32_t native_t;
  57
  58 typedef struct page_specifier pte_t;
  59
  60 #endif
  61
  62 /** @}
  63  */