| /* |
| * Copyright 2020, Data61, CSIRO (ABN 41 687 119 230) |
| * |
| * SPDX-License-Identifier: GPL-2.0-only |
| */ |
| |
| #include <elfloader.h> |
| #include <types.h> |
| #include <mode/structures.h> |
| |
| /* Page directory for Stage1 translation in PL1 (short-desc format)*/ |
| uint32_t _boot_pd[BIT(PD_BITS)] ALIGN(BIT(PD_SIZE_BITS)); |
| uint32_t _boot_pt[BIT(PT_BITS)] ALIGN(BIT(PT_SIZE_BITS)); |
| |
| /* Page global and middle directory for Stage1 in HYP mode (long-desc format) */ |
| uint64_t _lpae_boot_pgd[BIT(HYP_PGD_BITS)] ALIGN(BIT(HYP_PGD_SIZE_BITS)); |
| uint64_t _lpae_boot_pmd[BIT(HYP_PGD_BITS + HYP_PMD_BITS)] ALIGN(BIT(HYP_PMD_SIZE_BITS)); |
| |
| /* |
| * These are helper functions which let the ASM work when we're relocated, |
| * and save the ASM from manually having to figure out offsets to access these. |
| */ |
| void *get_boot_pd(void) |
| { |
| return _boot_pd; |
| } |
| |
| void *get_lpae_boot_pgd(void) |
| { |
| return _lpae_boot_pgd; |
| } |
