/*
 * Copyright 2014, General Dynamics C4 Systems
 *
 * SPDX-License-Identifier: GPL-2.0-only
 */

#pragma once

#define ARM_SECTION_BITS      20
#define ARM_1GB_BLOCK_BITS    30
#define ARM_2MB_BLOCK_BITS    21

#define PDE_SIZE_BITS         2
#define PD_BITS               12
#define PD_SIZE_BITS          (PD_BITS + PDE_SIZE_BITS)

#define PTE_SIZE_BITS         2
#define PT_BITS               8
#define PT_SIZE_BITS          (PT_BITS + PTE_SIZE_BITS)

#define HYP_PGDE_SIZE_BITS    3
#define HYP_PGD_BITS          2
#define HYP_PGD_SIZE_BITS     (HYP_PGD_BITS + HYP_PGDE_SIZE_BITS)

#define HYP_PMDE_SIZE_BITS    3
#define HYP_PMD_BITS          9
#define HYP_PMD_SIZE_BITS     (HYP_PMD_BITS + HYP_PMDE_SIZE_BITS)

#define GET_PT_INDEX(x)       (((x) >> (PAGE_BITS)) & MASK(PT_BITS))

extern uint32_t _boot_pd[BIT(PD_BITS)];
extern uint32_t _boot_pt[BIT(PT_BITS)];

extern uint64_t _lpae_boot_pgd[BIT(HYP_PGD_BITS)];
extern uint64_t _lpae_boot_pmd[BIT(HYP_PGD_BITS + HYP_PMD_BITS)];