1f19dc624Sjohpow01 /* 2*6a00e9b0SRobert Wakim * Copyright (c) 2022, Arm Limited. All rights reserved. 3f19dc624Sjohpow01 * 4f19dc624Sjohpow01 * SPDX-License-Identifier: BSD-3-Clause 5f19dc624Sjohpow01 */ 6f19dc624Sjohpow01 7f19dc624Sjohpow01 #ifndef GPT_RME_PRIVATE_H 8f19dc624Sjohpow01 #define GPT_RME_PRIVATE_H 9f19dc624Sjohpow01 10f19dc624Sjohpow01 #include <arch.h> 11f19dc624Sjohpow01 #include <lib/gpt_rme/gpt_rme.h> 12f19dc624Sjohpow01 #include <lib/utils_def.h> 13f19dc624Sjohpow01 14f19dc624Sjohpow01 /******************************************************************************/ 15f19dc624Sjohpow01 /* GPT descriptor definitions */ 16f19dc624Sjohpow01 /******************************************************************************/ 17f19dc624Sjohpow01 18f19dc624Sjohpow01 /* GPT level 0 descriptor bit definitions. */ 19f19dc624Sjohpow01 #define GPT_L0_TYPE_MASK UL(0xF) 20f19dc624Sjohpow01 #define GPT_L0_TYPE_SHIFT U(0) 21f19dc624Sjohpow01 22f19dc624Sjohpow01 /* For now, we don't support contiguous descriptors, only table and block. */ 23f19dc624Sjohpow01 #define GPT_L0_TYPE_TBL_DESC UL(0x3) 24f19dc624Sjohpow01 #define GPT_L0_TYPE_BLK_DESC UL(0x1) 25f19dc624Sjohpow01 26f19dc624Sjohpow01 #define GPT_L0_TBL_DESC_L1ADDR_MASK UL(0xFFFFFFFFFF) 27f19dc624Sjohpow01 #define GPT_L0_TBL_DESC_L1ADDR_SHIFT U(12) 28f19dc624Sjohpow01 29f19dc624Sjohpow01 #define GPT_L0_BLK_DESC_GPI_MASK UL(0xF) 30f19dc624Sjohpow01 #define GPT_L0_BLK_DESC_GPI_SHIFT U(4) 31f19dc624Sjohpow01 32f19dc624Sjohpow01 /* GPT level 1 descriptor bit definitions */ 33f19dc624Sjohpow01 #define GPT_L1_GRAN_DESC_GPI_MASK UL(0xF) 34f19dc624Sjohpow01 35f19dc624Sjohpow01 /* 36f19dc624Sjohpow01 * This macro fills out every GPI entry in a granules descriptor to the same 37f19dc624Sjohpow01 * value. 38f19dc624Sjohpow01 */ 39f19dc624Sjohpow01 #define GPT_BUILD_L1_DESC(_gpi) (((uint64_t)(_gpi) << 4*0) | \ 40f19dc624Sjohpow01 ((uint64_t)(_gpi) << 4*1) | \ 41f19dc624Sjohpow01 ((uint64_t)(_gpi) << 4*2) | \ 42f19dc624Sjohpow01 ((uint64_t)(_gpi) << 4*3) | \ 43f19dc624Sjohpow01 ((uint64_t)(_gpi) << 4*4) | \ 44f19dc624Sjohpow01 ((uint64_t)(_gpi) << 4*5) | \ 45f19dc624Sjohpow01 ((uint64_t)(_gpi) << 4*6) | \ 46f19dc624Sjohpow01 ((uint64_t)(_gpi) << 4*7) | \ 47f19dc624Sjohpow01 ((uint64_t)(_gpi) << 4*8) | \ 48f19dc624Sjohpow01 ((uint64_t)(_gpi) << 4*9) | \ 49f19dc624Sjohpow01 ((uint64_t)(_gpi) << 4*10) | \ 50f19dc624Sjohpow01 ((uint64_t)(_gpi) << 4*11) | \ 51f19dc624Sjohpow01 ((uint64_t)(_gpi) << 4*12) | \ 52f19dc624Sjohpow01 ((uint64_t)(_gpi) << 4*13) | \ 53f19dc624Sjohpow01 ((uint64_t)(_gpi) << 4*14) | \ 54f19dc624Sjohpow01 ((uint64_t)(_gpi) << 4*15)) 55f19dc624Sjohpow01 56f19dc624Sjohpow01 /******************************************************************************/ 57f19dc624Sjohpow01 /* GPT platform configuration */ 58f19dc624Sjohpow01 /******************************************************************************/ 59f19dc624Sjohpow01 60f19dc624Sjohpow01 /* This value comes from GPCCR_EL3 so no externally supplied definition. */ 61f19dc624Sjohpow01 #define GPT_L0GPTSZ ((unsigned int)((read_gpccr_el3() >> \ 62f19dc624Sjohpow01 GPCCR_L0GPTSZ_SHIFT) & GPCCR_L0GPTSZ_MASK)) 63f19dc624Sjohpow01 64f19dc624Sjohpow01 /* The "S" value is directly related to L0GPTSZ */ 65f19dc624Sjohpow01 #define GPT_S_VAL (GPT_L0GPTSZ + 30U) 66f19dc624Sjohpow01 67f19dc624Sjohpow01 /* 68f19dc624Sjohpow01 * Map PPS values to T values. 69f19dc624Sjohpow01 * 70f19dc624Sjohpow01 * PPS Size T 71f19dc624Sjohpow01 * 0b000 4GB 32 72f19dc624Sjohpow01 * 0b001 64GB 36 73f19dc624Sjohpow01 * 0b010 1TB 40 74f19dc624Sjohpow01 * 0b011 4TB 42 75f19dc624Sjohpow01 * 0b100 16TB 44 76f19dc624Sjohpow01 * 0b101 256TB 48 77f19dc624Sjohpow01 * 0b110 4PB 52 78f19dc624Sjohpow01 * 79f19dc624Sjohpow01 * See section 15.1.27 of the RME specification. 80f19dc624Sjohpow01 */ 81f19dc624Sjohpow01 typedef enum { 82f19dc624Sjohpow01 PPS_4GB_T = 32U, 83f19dc624Sjohpow01 PPS_64GB_T = 36U, 84f19dc624Sjohpow01 PPS_1TB_T = 40U, 85f19dc624Sjohpow01 PPS_4TB_T = 42U, 86f19dc624Sjohpow01 PPS_16TB_T = 44U, 87f19dc624Sjohpow01 PPS_256TB_T = 48U, 88f19dc624Sjohpow01 PPS_4PB_T = 52U 89f19dc624Sjohpow01 } gpt_t_val_e; 90f19dc624Sjohpow01 91f19dc624Sjohpow01 /* 92f19dc624Sjohpow01 * Map PGS values to P values. 93f19dc624Sjohpow01 * 94f19dc624Sjohpow01 * PGS Size P 95f19dc624Sjohpow01 * 0b00 4KB 12 96f19dc624Sjohpow01 * 0b10 16KB 14 97f19dc624Sjohpow01 * 0b01 64KB 16 98f19dc624Sjohpow01 * 99f19dc624Sjohpow01 * Note that pgs=0b10 is 16KB and pgs=0b01 is 64KB, this is not a typo. 100f19dc624Sjohpow01 * 101f19dc624Sjohpow01 * See section 15.1.27 of the RME specification. 102f19dc624Sjohpow01 */ 103f19dc624Sjohpow01 typedef enum { 104f19dc624Sjohpow01 PGS_4KB_P = 12U, 105f19dc624Sjohpow01 PGS_16KB_P = 14U, 106f19dc624Sjohpow01 PGS_64KB_P = 16U 107f19dc624Sjohpow01 } gpt_p_val_e; 108f19dc624Sjohpow01 109*6a00e9b0SRobert Wakim /* 110*6a00e9b0SRobert Wakim * Internal structure to retrieve the values from get_gpi_info(); 111*6a00e9b0SRobert Wakim */ 112*6a00e9b0SRobert Wakim typedef struct gpi_info { 113*6a00e9b0SRobert Wakim uint64_t gpt_l1_desc; 114*6a00e9b0SRobert Wakim uint64_t *gpt_l1_addr; 115*6a00e9b0SRobert Wakim unsigned int idx; 116*6a00e9b0SRobert Wakim unsigned int gpi_shift; 117*6a00e9b0SRobert Wakim unsigned int gpi; 118*6a00e9b0SRobert Wakim } gpi_info_t; 119*6a00e9b0SRobert Wakim 120f19dc624Sjohpow01 /* Max valid value for PGS. */ 121f19dc624Sjohpow01 #define GPT_PGS_MAX (2U) 122f19dc624Sjohpow01 123f19dc624Sjohpow01 /* Max valid value for PPS. */ 124f19dc624Sjohpow01 #define GPT_PPS_MAX (6U) 125f19dc624Sjohpow01 126f19dc624Sjohpow01 /******************************************************************************/ 127f19dc624Sjohpow01 /* L0 address attribute macros */ 128f19dc624Sjohpow01 /******************************************************************************/ 129f19dc624Sjohpow01 130f19dc624Sjohpow01 /* 131322b344eSjohpow01 * Width of the L0 index field. 132322b344eSjohpow01 * 133f19dc624Sjohpow01 * If S is greater than or equal to T then there is a single L0 region covering 134f19dc624Sjohpow01 * the entire protected space so there is no L0 index, so the width (and the 135f19dc624Sjohpow01 * derivative mask value) are both zero. If we don't specifically handle this 136f19dc624Sjohpow01 * special case we'll get a negative width value which does not make sense and 137322b344eSjohpow01 * would cause problems. 138f19dc624Sjohpow01 */ 139f19dc624Sjohpow01 #define GPT_L0_IDX_WIDTH(_t) (((_t) > GPT_S_VAL) ? \ 140f19dc624Sjohpow01 ((_t) - GPT_S_VAL) : (0U)) 141f19dc624Sjohpow01 142f19dc624Sjohpow01 /* Bit shift for the L0 index field in a PA. */ 143f19dc624Sjohpow01 #define GPT_L0_IDX_SHIFT (GPT_S_VAL) 144f19dc624Sjohpow01 145322b344eSjohpow01 /* 146322b344eSjohpow01 * Mask for the L0 index field, must be shifted. 147322b344eSjohpow01 * 148322b344eSjohpow01 * The value 0x3FFFFF is 22 bits wide which is the maximum possible width of the 149322b344eSjohpow01 * L0 index within a physical address. This is calculated by 150322b344eSjohpow01 * ((t_max - 1) - s_min + 1) where t_max is 52 for 4PB, the largest PPS, and 151322b344eSjohpow01 * s_min is 30 for 1GB, the smallest L0GPTSZ. 152322b344eSjohpow01 */ 153322b344eSjohpow01 #define GPT_L0_IDX_MASK(_t) (0x3FFFFFUL >> (22U - \ 154322b344eSjohpow01 (GPT_L0_IDX_WIDTH(_t)))) 155f19dc624Sjohpow01 156f19dc624Sjohpow01 /* Total number of L0 regions. */ 157f19dc624Sjohpow01 #define GPT_L0_REGION_COUNT(_t) ((GPT_L0_IDX_MASK(_t)) + 1U) 158f19dc624Sjohpow01 159f19dc624Sjohpow01 /* Total size of each GPT L0 region in bytes. */ 160f19dc624Sjohpow01 #define GPT_L0_REGION_SIZE (1UL << (GPT_L0_IDX_SHIFT)) 161f19dc624Sjohpow01 162f19dc624Sjohpow01 /* Total size in bytes of the whole L0 table. */ 163f19dc624Sjohpow01 #define GPT_L0_TABLE_SIZE(_t) ((GPT_L0_REGION_COUNT(_t)) << 3U) 164f19dc624Sjohpow01 165f19dc624Sjohpow01 /******************************************************************************/ 166f19dc624Sjohpow01 /* L1 address attribute macros */ 167f19dc624Sjohpow01 /******************************************************************************/ 168f19dc624Sjohpow01 169322b344eSjohpow01 /* 170322b344eSjohpow01 * Width of the L1 index field. 171322b344eSjohpow01 * 172322b344eSjohpow01 * This field does not have a special case to handle widths less than zero like 173322b344eSjohpow01 * the L0 index field above since all valid combinations of PGS (p) and L0GPTSZ 174322b344eSjohpow01 * (s) will result in a positive width value. 175322b344eSjohpow01 */ 176f19dc624Sjohpow01 #define GPT_L1_IDX_WIDTH(_p) ((GPT_S_VAL - 1U) - ((_p) + 3U)) 177f19dc624Sjohpow01 178f19dc624Sjohpow01 /* Bit shift for the L1 index field. */ 179f19dc624Sjohpow01 #define GPT_L1_IDX_SHIFT(_p) ((_p) + 4U) 180f19dc624Sjohpow01 181322b344eSjohpow01 /* 182322b344eSjohpow01 * Mask for the L1 index field, must be shifted. 183322b344eSjohpow01 * 184322b344eSjohpow01 * The value 0x7FFFFF is 23 bits wide and is the maximum possible width of the 185322b344eSjohpow01 * L1 index within a physical address. It is calculated by 186322b344eSjohpow01 * ((s_max - 1) - (p_min + 4) + 1) where s_max is 39 for 512gb, the largest 187322b344eSjohpow01 * L0GPTSZ, and p_min is 12 for 4KB granules, the smallest PGS. 188322b344eSjohpow01 */ 189322b344eSjohpow01 #define GPT_L1_IDX_MASK(_p) (0x7FFFFFUL >> (23U - \ 190322b344eSjohpow01 (GPT_L1_IDX_WIDTH(_p)))) 191f19dc624Sjohpow01 192f19dc624Sjohpow01 /* Bit shift for the index of the L1 GPI in a PA. */ 193f19dc624Sjohpow01 #define GPT_L1_GPI_IDX_SHIFT(_p) (_p) 194f19dc624Sjohpow01 195f19dc624Sjohpow01 /* Mask for the index of the L1 GPI in a PA. */ 196f19dc624Sjohpow01 #define GPT_L1_GPI_IDX_MASK (0xF) 197f19dc624Sjohpow01 198f19dc624Sjohpow01 /* Total number of entries in each L1 table. */ 199f19dc624Sjohpow01 #define GPT_L1_ENTRY_COUNT(_p) ((GPT_L1_IDX_MASK(_p)) + 1U) 200f19dc624Sjohpow01 201f19dc624Sjohpow01 /* Total size in bytes of each L1 table. */ 202f19dc624Sjohpow01 #define GPT_L1_TABLE_SIZE(_p) ((GPT_L1_ENTRY_COUNT(_p)) << 3U) 203f19dc624Sjohpow01 204f19dc624Sjohpow01 /******************************************************************************/ 205f19dc624Sjohpow01 /* General helper macros */ 206f19dc624Sjohpow01 /******************************************************************************/ 207f19dc624Sjohpow01 208f19dc624Sjohpow01 /* Protected space actual size in bytes. */ 209f19dc624Sjohpow01 #define GPT_PPS_ACTUAL_SIZE(_t) (1UL << (_t)) 210f19dc624Sjohpow01 211f19dc624Sjohpow01 /* Granule actual size in bytes. */ 212f19dc624Sjohpow01 #define GPT_PGS_ACTUAL_SIZE(_p) (1UL << (_p)) 213f19dc624Sjohpow01 214f19dc624Sjohpow01 /* L0 GPT region size in bytes. */ 215f19dc624Sjohpow01 #define GPT_L0GPTSZ_ACTUAL_SIZE (1UL << GPT_S_VAL) 216f19dc624Sjohpow01 217f19dc624Sjohpow01 /* Get the index of the L0 entry from a physical address. */ 218f19dc624Sjohpow01 #define GPT_L0_IDX(_pa) ((_pa) >> GPT_L0_IDX_SHIFT) 219f19dc624Sjohpow01 220f19dc624Sjohpow01 /* 221f19dc624Sjohpow01 * This definition is used to determine if a physical address lies on an L0 222f19dc624Sjohpow01 * region boundary. 223f19dc624Sjohpow01 */ 224f19dc624Sjohpow01 #define GPT_IS_L0_ALIGNED(_pa) (((_pa) & (GPT_L0_REGION_SIZE - U(1))) == U(0)) 225f19dc624Sjohpow01 226f19dc624Sjohpow01 /* Get the type field from an L0 descriptor. */ 227f19dc624Sjohpow01 #define GPT_L0_TYPE(_desc) (((_desc) >> GPT_L0_TYPE_SHIFT) & \ 228f19dc624Sjohpow01 GPT_L0_TYPE_MASK) 229f19dc624Sjohpow01 230f19dc624Sjohpow01 /* Create an L0 block descriptor. */ 231f19dc624Sjohpow01 #define GPT_L0_BLK_DESC(_gpi) (GPT_L0_TYPE_BLK_DESC | \ 232f19dc624Sjohpow01 (((_gpi) & GPT_L0_BLK_DESC_GPI_MASK) << \ 233f19dc624Sjohpow01 GPT_L0_BLK_DESC_GPI_SHIFT)) 234f19dc624Sjohpow01 235f19dc624Sjohpow01 /* Create an L0 table descriptor with an L1 table address. */ 236f19dc624Sjohpow01 #define GPT_L0_TBL_DESC(_pa) (GPT_L0_TYPE_TBL_DESC | ((uint64_t)(_pa) & \ 237f19dc624Sjohpow01 (GPT_L0_TBL_DESC_L1ADDR_MASK << \ 238f19dc624Sjohpow01 GPT_L0_TBL_DESC_L1ADDR_SHIFT))) 239f19dc624Sjohpow01 240f19dc624Sjohpow01 /* Get the GPI from an L0 block descriptor. */ 241f19dc624Sjohpow01 #define GPT_L0_BLKD_GPI(_desc) (((_desc) >> GPT_L0_BLK_DESC_GPI_SHIFT) & \ 242f19dc624Sjohpow01 GPT_L0_BLK_DESC_GPI_MASK) 243f19dc624Sjohpow01 244f19dc624Sjohpow01 /* Get the L1 address from an L0 table descriptor. */ 245f19dc624Sjohpow01 #define GPT_L0_TBLD_ADDR(_desc) ((uint64_t *)(((_desc) & \ 246f19dc624Sjohpow01 (GPT_L0_TBL_DESC_L1ADDR_MASK << \ 247f19dc624Sjohpow01 GPT_L0_TBL_DESC_L1ADDR_SHIFT)))) 248f19dc624Sjohpow01 249f19dc624Sjohpow01 /* Get the index into the L1 table from a physical address. */ 250f19dc624Sjohpow01 #define GPT_L1_IDX(_p, _pa) (((_pa) >> GPT_L1_IDX_SHIFT(_p)) & \ 251f19dc624Sjohpow01 GPT_L1_IDX_MASK(_p)) 252f19dc624Sjohpow01 253f19dc624Sjohpow01 /* Get the index of the GPI within an L1 table entry from a physical address. */ 254f19dc624Sjohpow01 #define GPT_L1_GPI_IDX(_p, _pa) (((_pa) >> GPT_L1_GPI_IDX_SHIFT(_p)) & \ 255f19dc624Sjohpow01 GPT_L1_GPI_IDX_MASK) 256f19dc624Sjohpow01 257f19dc624Sjohpow01 /* Determine if an address is granule-aligned. */ 258f19dc624Sjohpow01 #define GPT_IS_L1_ALIGNED(_p, _pa) (((_pa) & (GPT_PGS_ACTUAL_SIZE(_p) - U(1))) \ 259f19dc624Sjohpow01 == U(0)) 260f19dc624Sjohpow01 261f19dc624Sjohpow01 #endif /* GPT_RME_PRIVATE_H */ 262