l4/pkg/drivers/generic/include/amba.h

   1 /*
   2  * (c) 2009 Adam Lackorzynski <adam@os.inf.tu-dresden.de>
   3  *     economic rights: Technische Universität Dresden (Germany)
   4  * This file is part of TUD:OS and distributed under the terms of the
   5  * GNU Lesser General Public License 2.1.
   6  * Please see the COPYING-LGPL-2.1 file for details.
   7  */
   8 #ifndef __ARM_DRIVERS__GENERIC__INCLUDE__AMBA_H__
   9 #define __ARM_DRIVERS__GENERIC__INCLUDE__AMBA_H__
  10
  11 #include <sys/cdefs.h>
  12 #include <l4/sys/types.h>
  13 #include <stdint.h>
  14
  15 EXTERN_C_BEGIN
  16
  17 void amba_read_id(l4_addr_t address, uint32_t *periphid, uint32_t *cellid);
  18
  19 EXTERN_C_END
  20
  21 #endif /* ! __ARM_DRIVERS__LCD__INCLUDE__LCD_H__ */