coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
mmio.h
Go to the documentation of this file.
1 /* SPDX-License-Identifier: GPL-2.0-only */
2 
3 #ifndef __ARCH_MMIO_H__
4 #define __ARCH_MMIO_H__
5 
6 #include <stdint.h>
7 
8 static __always_inline uint8_t read8(const volatile void *addr)
9 {
10  return *((volatile uint8_t *)(addr));
11 }
12 
13 static __always_inline uint16_t read16(const volatile void *addr)
14 {
15  return *((volatile uint16_t *)(addr));
16 }
17 
18 static __always_inline uint32_t read32(const volatile void *addr)
19 {
20  return *((volatile uint32_t *)(addr));
21 }
22 
23 static __always_inline uint64_t read64(const volatile void *addr)
24 {
25  return *((volatile uint64_t *)(addr));
26 }
27 
28 static __always_inline void write8(volatile void *addr, uint8_t value)
29 {
30  *((volatile uint8_t *)(addr)) = value;
31 }
32 
33 static __always_inline void write16(volatile void *addr, uint16_t value)
34 {
35  *((volatile uint16_t *)(addr)) = value;
36 }
37 
38 static __always_inline void write32(volatile void *addr, uint32_t value)
39 {
40  *((volatile uint32_t *)(addr)) = value;
41 }
42 
43 static __always_inline void write64(volatile void *addr, uint64_t value)
44 {
45  *((volatile uint64_t *)(addr)) = value;
46 }
47 
48 #endif /* __ARCH_MMIO_H__ */
pte_t value
Definition: mmu.c:91
void write64(void *addr, uint64_t val)
uint64_t read64(const void *addr)
static __always_inline void write8(volatile void *addr, uint8_t value)
Definition: mmio.h:28
static __always_inline void write32(volatile void *addr, uint32_t value)
Definition: mmio.h:38
static __always_inline uint32_t read32(const volatile void *addr)
Definition: mmio.h:18
static __always_inline uint16_t read16(const volatile void *addr)
Definition: mmio.h:13
static __always_inline void write16(volatile void *addr, uint16_t value)
Definition: mmio.h:33
static __always_inline uint8_t read8(const volatile void *addr)
Definition: mmio.h:8
static u32 addr
Definition: cirrus.c:14
#define __always_inline
Definition: compiler.h:35
unsigned short uint16_t
Definition: stdint.h:11
unsigned int uint32_t
Definition: stdint.h:14
unsigned long long uint64_t
Definition: stdint.h:17
unsigned char uint8_t
Definition: stdint.h:8