xref: /optee_os/core/include/io.h (revision b01047730e77127c23a36591643eeb8bb0487d68)
1 /*
2  * Copyright (c) 2014, Linaro Limited
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 are met:
7  *
8  * 1. Redistributions of source code must retain the above copyright notice,
9  * this list of conditions and the following disclaimer.
10  *
11  * 2. Redistributions in binary form must reproduce the above copyright notice,
12  * this list of conditions and the following disclaimer in the documentation
13  * and/or other materials provided with the distribution.
14  *
15  * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
16  * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
17  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
18  * ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE
19  * LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
20  * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
21  * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
22  * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
23  * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
24  * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
25  * POSSIBILITY OF SUCH DAMAGE.
26  */
27 #ifndef IO_H
28 #define IO_H
29 
30 static inline void write8(uint8_t val, vaddr_t addr)
31 {
32 	*(volatile uint8_t *)addr = val;
33 }
34 
35 static inline void write16(uint16_t val, vaddr_t addr)
36 {
37 	*(volatile uint16_t *)addr = val;
38 }
39 
40 static inline void write32(uint32_t val, vaddr_t addr)
41 {
42 	*(volatile uint32_t *)addr = val;
43 }
44 
45 static inline uint8_t read8(vaddr_t addr)
46 {
47 	return *(volatile uint8_t *)addr;
48 }
49 
50 static inline uint16_t read16(vaddr_t addr)
51 {
52 	return *(volatile uint16_t *)addr;
53 }
54 
55 static inline uint32_t read32(vaddr_t addr)
56 {
57 	return *(volatile uint32_t *)addr;
58 }
59 
60 #endif /*IO_H*/
61