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.
8 #ifndef __ARM_DRIVERS__GENERIC__INCLUDE__IO_H__
9 #define __ARM_DRIVERS__GENERIC__INCLUDE__IO_H__
11 #include <sys/cdefs.h>
12 #include <l4/sys/types.h>
17 l4_umword_t io_read_mword(l4_addr_t addr);
20 void io_write_mword(l4_addr_t addr, l4_addr_t val);
25 l4_umword_t io_read_mword(l4_addr_t addr)
27 return *(volatile l4_umword_t *)addr;
32 void io_write_mword(l4_addr_t addr, l4_umword_t val)
34 *(volatile l4_umword_t *)addr = val;
39 #endif /* ! __ARM_DRIVERS__LCD__INCLUDE__LCD_H__ */