Javier Almansa Sobrino | 68a593a | 2022-07-25 09:35:32 +0100 | [diff] [blame] | 1 | /* |
| 2 | * SPDX-License-Identifier: BSD-3-Clause |
| 3 | * SPDX-FileCopyrightText: Copyright TF-RMM Contributors. |
| 4 | */ |
| 5 | |
| 6 | #include <buffer.h> |
| 7 | #include <xlat_tables.h> |
| 8 | |
Javier Almansa Sobrino | e7aa1ab | 2023-03-09 17:38:02 +0000 | [diff] [blame] | 9 | struct xlat_llt_info *get_cached_llt_info(void); |
Javier Almansa Sobrino | 68a593a | 2022-07-25 09:35:32 +0100 | [diff] [blame] | 10 | uintptr_t slot_to_va(enum buffer_slot slot); |
AlexeiFedorov | 4716542 | 2023-09-13 11:47:57 +0100 | [diff] [blame] | 11 | bool memcpy_ns_read(void *dest, const void *ns_src, size_t size); |
| 12 | bool memcpy_ns_write(void *ns_dest, const void *src, size_t size); |