| Gavin Liu | a65fadf | 2024-10-21 14:22:19 +0800 | [diff] [blame] | 1 | /* |
| Gavin Liu | 2209002 | 2025-03-27 16:42:33 +0800 | [diff] [blame] | 2 | * Copyright (c) 2025, Mediatek Inc. All rights reserved. |
| Gavin Liu | a65fadf | 2024-10-21 14:22:19 +0800 | [diff] [blame] | 3 | * |
| 4 | * SPDX-License-Identifier: BSD-3-Clause |
| 5 | */ |
| 6 | |
| 7 | #ifndef PLAT_PRIVATE_H |
| 8 | #define PLAT_PRIVATE_H |
| 9 | |
| 10 | /******************************************************************************* |
| 11 | * Function and variable prototypes |
| 12 | ******************************************************************************/ |
| 13 | void plat_configure_mmu_el3(uintptr_t total_base, |
| 14 | uintptr_t total_size, |
| 15 | uintptr_t ro_start, |
| 16 | uintptr_t ro_limit); |
| 17 | |
| 18 | #endif /* PLAT_PRIVATE_H */ |