text: /** @file
      Machine dependent type definitions.
  
      Copyright (c) 2010, Intel Corporation. All rights reserved.<BR>
      This program and the accompanying materials are licensed and made available
      under the terms and conditions of the BSD License that accompanies this
      distribution.  The full text of the license may be found at
      http://opensource.org/licenses/bsd-license.php.
  
      THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,
      WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.
  
      Copyright (c) 1990 The Regents of the University of California.
      All rights reserved.
  
      Redistribution and use in source and binary forms, with or without
      modification, are permitted provided that the following conditions
      are met:
      1. Redistributions of source code must retain the above copyright
         notice, this list of conditions and the following disclaimer.
      2. Redistributions in binary form must reproduce the above copyright
         notice, this list of conditions and the following disclaimer in the
         documentation and/or other materials provided with the distribution.
      3. Neither the name of the University nor the names of its contributors
         may be used to endorse or promote products derived from this software
         without specific prior written permission.
  
      THIS SOFTWARE IS PROVIDED BY THE REGENTS AND CONTRIBUTORS ``AS IS'' AND
      ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
      IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
      ARE DISCLAIMED.  IN NO EVENT SHALL THE REGENTS OR CONTRIBUTORS BE LIABLE
      FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
      DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
      OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
      HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
      LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
      OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
      SUCH DAMAGE.
  
      types.h 7.5 (Berkeley) 3/9/91
      NetBSD: types.h,v 1.49 2006/09/03 13:51:23 bjh21 Exp
  **/
  #ifndef _MACHTYPES_H_
  #define _MACHTYPES_H_
  
  #include <sys/EfiCdefs.h>
  #include <sys/featuretest.h>
  #include <machine/int_types.h>
  
  /* Handle the long and unsigned long data types which EFI doesn't directly support. */
  //typedef INTN              LONGN;
  //typedef UINTN             ULONGN;
  
  typedef PHYSICAL_ADDRESS  paddr_t;
  typedef UINT64            psize_t;
  typedef PHYSICAL_ADDRESS  vaddr_t;
  typedef UINT64            vsize_t;
  
  typedef INT32   pmc_evid_t;
  typedef UINT64  pmc_ctr_t;
  typedef INT32   register_t;
  
  typedef volatile INT32    __cpu_simple_lock_t;
  
  #define __SIMPLELOCK_LOCKED   1
  #define __SIMPLELOCK_UNLOCKED 0
  
  /* The ARMv7 does not have strict alignment requirements. */
  #define __NO_STRICT_ALIGNMENT
  //TODO: Fixme for the ARM architecture that requires strict alignment
  
  #define __HAVE_DEVICE_REGISTER
  #define __HAVE_CPU_COUNTER
  #define __HAVE_SYSCALL_INTERN
  #define __HAVE_MINIMAL_EMUL
  #define __HAVE_OLD_DISKLABEL
  #define __HAVE_GENERIC_SOFT_INTERRUPTS
  #define __HAVE_CPU_MAXPROC
  #define __HAVE_TIMECOUNTER
  #define __HAVE_GENERIC_TODR
  
  #endif  /* _MACHTYPES_H_ */
  