l4/pkg/drivers/generic/include/io.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__IO_H__
   9 #define __ARM_DRIVERS__GENERIC__INCLUDE__IO_H__
  10
  11 #include <sys/cdefs.h>
  12 #include <l4/sys/types.h>
  13
  14 EXTERN_C_BEGIN
  15
  16 L4_INLINE
  17 l4_umword_t io_read_mword(l4_addr_t addr);
  18
  19 L4_INLINE
  20 void io_write_mword(l4_addr_t addr, l4_addr_t val);
  21
  22
  23
  24 L4_INLINE
  25 l4_umword_t io_read_mword(l4_addr_t addr)
  26 {
  27   return *(volatile l4_umword_t *)addr;
  28 }
  29
  30
  31 L4_INLINE
  32 void io_write_mword(l4_addr_t addr, l4_umword_t val)
  33 {
  34   *(volatile l4_umword_t *)addr = val;
  35 }
  36
  37 EXTERN_C_END
  38
  39 #endif /* ! __ARM_DRIVERS__LCD__INCLUDE__LCD_H__ */