| /* | |
| * Copyright (c) 2013-2022, ARM Limited and Contributors. All rights reserved. | |
| * | |
| * SPDX-License-Identifier: BSD-3-Clause | |
| * | |
| * Copied from trustedfirmware-a and stripped down. | |
| */ | |
| #ifndef MMIO_H | |
| #define MMIO_H | |
| #include <stdint.h> | |
| static inline void mmio_write_32(uintptr_t addr, uint32_t value) | |
| { | |
| *(volatile uint32_t *)addr = value; | |
| } | |
| static inline uint32_t mmio_read_32(uintptr_t addr) | |
| { | |
| return *(volatile uint32_t *)addr; | |
| } | |
| #endif /* MMIO_H */ |