| // Copyright lowRISC contributors. |
| // Licensed under the Apache License, Version 2.0, see LICENSE for details. |
| // SPDX-License-Identifier: Apache-2.0 |
| |
| #ifndef OPENTITAN_SW_DEVICE_LIB_IBEX_PERI_H_ |
| #define OPENTITAN_SW_DEVICE_LIB_IBEX_PERI_H_ |
| |
| #include <stdbool.h> |
| #include <stdint.h> |
| |
| /** |
| * @src_addr The source base address of the translate region |
| * @size The size of the target translate block |
| * @dst_addr The destination address after translation |
| */ |
| void init_translation(uint32_t src_addr, uint32_t size, uint32_t dst_addr); |
| |
| #endif // OPENTITAN_SW_DEVICE_LIB_IBEX_PERI_H_ |
