1*f19dc624Sjohpow01 /* 2*f19dc624Sjohpow01 * Copyright (c) 2021, Arm Limited. All rights reserved. 3*f19dc624Sjohpow01 * 4*f19dc624Sjohpow01 * SPDX-License-Identifier: BSD-3-Clause 5*f19dc624Sjohpow01 */ 6*f19dc624Sjohpow01 7*f19dc624Sjohpow01 #ifndef GPT_RME_PRIVATE_H 8*f19dc624Sjohpow01 #define GPT_RME_PRIVATE_H 9*f19dc624Sjohpow01 10*f19dc624Sjohpow01 #include <arch.h> 11*f19dc624Sjohpow01 #include <lib/gpt_rme/gpt_rme.h> 12*f19dc624Sjohpow01 #include <lib/utils_def.h> 13*f19dc624Sjohpow01 14*f19dc624Sjohpow01 /******************************************************************************/ 15*f19dc624Sjohpow01 /* GPT descriptor definitions */ 16*f19dc624Sjohpow01 /******************************************************************************/ 17*f19dc624Sjohpow01 18*f19dc624Sjohpow01 /* GPT level 0 descriptor bit definitions. */ 19*f19dc624Sjohpow01 #define GPT_L0_TYPE_MASK UL(0xF) 20*f19dc624Sjohpow01 #define GPT_L0_TYPE_SHIFT U(0) 21*f19dc624Sjohpow01 22*f19dc624Sjohpow01 /* For now, we don't support contiguous descriptors, only table and block. */ 23*f19dc624Sjohpow01 #define GPT_L0_TYPE_TBL_DESC UL(0x3) 24*f19dc624Sjohpow01 #define GPT_L0_TYPE_BLK_DESC UL(0x1) 25*f19dc624Sjohpow01 26*f19dc624Sjohpow01 #define GPT_L0_TBL_DESC_L1ADDR_MASK UL(0xFFFFFFFFFF) 27*f19dc624Sjohpow01 #define GPT_L0_TBL_DESC_L1ADDR_SHIFT U(12) 28*f19dc624Sjohpow01 29*f19dc624Sjohpow01 #define GPT_L0_BLK_DESC_GPI_MASK UL(0xF) 30*f19dc624Sjohpow01 #define GPT_L0_BLK_DESC_GPI_SHIFT U(4) 31*f19dc624Sjohpow01 32*f19dc624Sjohpow01 /* GPT level 1 descriptor bit definitions */ 33*f19dc624Sjohpow01 #define GPT_L1_GRAN_DESC_GPI_MASK UL(0xF) 34*f19dc624Sjohpow01 35*f19dc624Sjohpow01 /* 36*f19dc624Sjohpow01 * This macro fills out every GPI entry in a granules descriptor to the same 37*f19dc624Sjohpow01 * value. 38*f19dc624Sjohpow01 */ 39*f19dc624Sjohpow01 #define GPT_BUILD_L1_DESC(_gpi) (((uint64_t)(_gpi) << 4*0) | \ 40*f19dc624Sjohpow01 ((uint64_t)(_gpi) << 4*1) | \ 41*f19dc624Sjohpow01 ((uint64_t)(_gpi) << 4*2) | \ 42*f19dc624Sjohpow01 ((uint64_t)(_gpi) << 4*3) | \ 43*f19dc624Sjohpow01 ((uint64_t)(_gpi) << 4*4) | \ 44*f19dc624Sjohpow01 ((uint64_t)(_gpi) << 4*5) | \ 45*f19dc624Sjohpow01 ((uint64_t)(_gpi) << 4*6) | \ 46*f19dc624Sjohpow01 ((uint64_t)(_gpi) << 4*7) | \ 47*f19dc624Sjohpow01 ((uint64_t)(_gpi) << 4*8) | \ 48*f19dc624Sjohpow01 ((uint64_t)(_gpi) << 4*9) | \ 49*f19dc624Sjohpow01 ((uint64_t)(_gpi) << 4*10) | \ 50*f19dc624Sjohpow01 ((uint64_t)(_gpi) << 4*11) | \ 51*f19dc624Sjohpow01 ((uint64_t)(_gpi) << 4*12) | \ 52*f19dc624Sjohpow01 ((uint64_t)(_gpi) << 4*13) | \ 53*f19dc624Sjohpow01 ((uint64_t)(_gpi) << 4*14) | \ 54*f19dc624Sjohpow01 ((uint64_t)(_gpi) << 4*15)) 55*f19dc624Sjohpow01 56*f19dc624Sjohpow01 /******************************************************************************/ 57*f19dc624Sjohpow01 /* GPT platform configuration */ 58*f19dc624Sjohpow01 /******************************************************************************/ 59*f19dc624Sjohpow01 60*f19dc624Sjohpow01 /* This value comes from GPCCR_EL3 so no externally supplied definition. */ 61*f19dc624Sjohpow01 #define GPT_L0GPTSZ ((unsigned int)((read_gpccr_el3() >> \ 62*f19dc624Sjohpow01 GPCCR_L0GPTSZ_SHIFT) & GPCCR_L0GPTSZ_MASK)) 63*f19dc624Sjohpow01 64*f19dc624Sjohpow01 /* The "S" value is directly related to L0GPTSZ */ 65*f19dc624Sjohpow01 #define GPT_S_VAL (GPT_L0GPTSZ + 30U) 66*f19dc624Sjohpow01 67*f19dc624Sjohpow01 /* 68*f19dc624Sjohpow01 * Map PPS values to T values. 69*f19dc624Sjohpow01 * 70*f19dc624Sjohpow01 * PPS Size T 71*f19dc624Sjohpow01 * 0b000 4GB 32 72*f19dc624Sjohpow01 * 0b001 64GB 36 73*f19dc624Sjohpow01 * 0b010 1TB 40 74*f19dc624Sjohpow01 * 0b011 4TB 42 75*f19dc624Sjohpow01 * 0b100 16TB 44 76*f19dc624Sjohpow01 * 0b101 256TB 48 77*f19dc624Sjohpow01 * 0b110 4PB 52 78*f19dc624Sjohpow01 * 79*f19dc624Sjohpow01 * See section 15.1.27 of the RME specification. 80*f19dc624Sjohpow01 */ 81*f19dc624Sjohpow01 typedef enum { 82*f19dc624Sjohpow01 PPS_4GB_T = 32U, 83*f19dc624Sjohpow01 PPS_64GB_T = 36U, 84*f19dc624Sjohpow01 PPS_1TB_T = 40U, 85*f19dc624Sjohpow01 PPS_4TB_T = 42U, 86*f19dc624Sjohpow01 PPS_16TB_T = 44U, 87*f19dc624Sjohpow01 PPS_256TB_T = 48U, 88*f19dc624Sjohpow01 PPS_4PB_T = 52U 89*f19dc624Sjohpow01 } gpt_t_val_e; 90*f19dc624Sjohpow01 91*f19dc624Sjohpow01 /* 92*f19dc624Sjohpow01 * Map PGS values to P values. 93*f19dc624Sjohpow01 * 94*f19dc624Sjohpow01 * PGS Size P 95*f19dc624Sjohpow01 * 0b00 4KB 12 96*f19dc624Sjohpow01 * 0b10 16KB 14 97*f19dc624Sjohpow01 * 0b01 64KB 16 98*f19dc624Sjohpow01 * 99*f19dc624Sjohpow01 * Note that pgs=0b10 is 16KB and pgs=0b01 is 64KB, this is not a typo. 100*f19dc624Sjohpow01 * 101*f19dc624Sjohpow01 * See section 15.1.27 of the RME specification. 102*f19dc624Sjohpow01 */ 103*f19dc624Sjohpow01 typedef enum { 104*f19dc624Sjohpow01 PGS_4KB_P = 12U, 105*f19dc624Sjohpow01 PGS_16KB_P = 14U, 106*f19dc624Sjohpow01 PGS_64KB_P = 16U 107*f19dc624Sjohpow01 } gpt_p_val_e; 108*f19dc624Sjohpow01 109*f19dc624Sjohpow01 /* Max valid value for PGS. */ 110*f19dc624Sjohpow01 #define GPT_PGS_MAX (2U) 111*f19dc624Sjohpow01 112*f19dc624Sjohpow01 /* Max valid value for PPS. */ 113*f19dc624Sjohpow01 #define GPT_PPS_MAX (6U) 114*f19dc624Sjohpow01 115*f19dc624Sjohpow01 /******************************************************************************/ 116*f19dc624Sjohpow01 /* L0 address attribute macros */ 117*f19dc624Sjohpow01 /******************************************************************************/ 118*f19dc624Sjohpow01 119*f19dc624Sjohpow01 /* 120*f19dc624Sjohpow01 * If S is greater than or equal to T then there is a single L0 region covering 121*f19dc624Sjohpow01 * the entire protected space so there is no L0 index, so the width (and the 122*f19dc624Sjohpow01 * derivative mask value) are both zero. If we don't specifically handle this 123*f19dc624Sjohpow01 * special case we'll get a negative width value which does not make sense and 124*f19dc624Sjohpow01 * could cause a lot of problems. 125*f19dc624Sjohpow01 */ 126*f19dc624Sjohpow01 #define GPT_L0_IDX_WIDTH(_t) (((_t) > GPT_S_VAL) ? \ 127*f19dc624Sjohpow01 ((_t) - GPT_S_VAL) : (0U)) 128*f19dc624Sjohpow01 129*f19dc624Sjohpow01 /* Bit shift for the L0 index field in a PA. */ 130*f19dc624Sjohpow01 #define GPT_L0_IDX_SHIFT (GPT_S_VAL) 131*f19dc624Sjohpow01 132*f19dc624Sjohpow01 /* Mask for the L0 index field, must be shifted. */ 133*f19dc624Sjohpow01 #define GPT_L0_IDX_MASK(_t) (0xFFFFFFFFFFFFFFFFUL >> \ 134*f19dc624Sjohpow01 (64U - (GPT_L0_IDX_WIDTH(_t)))) 135*f19dc624Sjohpow01 136*f19dc624Sjohpow01 /* Total number of L0 regions. */ 137*f19dc624Sjohpow01 #define GPT_L0_REGION_COUNT(_t) ((GPT_L0_IDX_MASK(_t)) + 1U) 138*f19dc624Sjohpow01 139*f19dc624Sjohpow01 /* Total size of each GPT L0 region in bytes. */ 140*f19dc624Sjohpow01 #define GPT_L0_REGION_SIZE (1UL << (GPT_L0_IDX_SHIFT)) 141*f19dc624Sjohpow01 142*f19dc624Sjohpow01 /* Total size in bytes of the whole L0 table. */ 143*f19dc624Sjohpow01 #define GPT_L0_TABLE_SIZE(_t) ((GPT_L0_REGION_COUNT(_t)) << 3U) 144*f19dc624Sjohpow01 145*f19dc624Sjohpow01 /******************************************************************************/ 146*f19dc624Sjohpow01 /* L1 address attribute macros */ 147*f19dc624Sjohpow01 /******************************************************************************/ 148*f19dc624Sjohpow01 149*f19dc624Sjohpow01 /* Width of the L1 index field. */ 150*f19dc624Sjohpow01 #define GPT_L1_IDX_WIDTH(_p) ((GPT_S_VAL - 1U) - ((_p) + 3U)) 151*f19dc624Sjohpow01 152*f19dc624Sjohpow01 /* Bit shift for the L1 index field. */ 153*f19dc624Sjohpow01 #define GPT_L1_IDX_SHIFT(_p) ((_p) + 4U) 154*f19dc624Sjohpow01 155*f19dc624Sjohpow01 /* Mask for the L1 index field, must be shifted. */ 156*f19dc624Sjohpow01 #define GPT_L1_IDX_MASK(_p) (0xFFFFFFFFFFFFFFFFUL >> \ 157*f19dc624Sjohpow01 (64U - (GPT_L1_IDX_WIDTH(_p)))) 158*f19dc624Sjohpow01 159*f19dc624Sjohpow01 /* Bit shift for the index of the L1 GPI in a PA. */ 160*f19dc624Sjohpow01 #define GPT_L1_GPI_IDX_SHIFT(_p) (_p) 161*f19dc624Sjohpow01 162*f19dc624Sjohpow01 /* Mask for the index of the L1 GPI in a PA. */ 163*f19dc624Sjohpow01 #define GPT_L1_GPI_IDX_MASK (0xF) 164*f19dc624Sjohpow01 165*f19dc624Sjohpow01 /* Total number of entries in each L1 table. */ 166*f19dc624Sjohpow01 #define GPT_L1_ENTRY_COUNT(_p) ((GPT_L1_IDX_MASK(_p)) + 1U) 167*f19dc624Sjohpow01 168*f19dc624Sjohpow01 /* Total size in bytes of each L1 table. */ 169*f19dc624Sjohpow01 #define GPT_L1_TABLE_SIZE(_p) ((GPT_L1_ENTRY_COUNT(_p)) << 3U) 170*f19dc624Sjohpow01 171*f19dc624Sjohpow01 /******************************************************************************/ 172*f19dc624Sjohpow01 /* General helper macros */ 173*f19dc624Sjohpow01 /******************************************************************************/ 174*f19dc624Sjohpow01 175*f19dc624Sjohpow01 /* Protected space actual size in bytes. */ 176*f19dc624Sjohpow01 #define GPT_PPS_ACTUAL_SIZE(_t) (1UL << (_t)) 177*f19dc624Sjohpow01 178*f19dc624Sjohpow01 /* Granule actual size in bytes. */ 179*f19dc624Sjohpow01 #define GPT_PGS_ACTUAL_SIZE(_p) (1UL << (_p)) 180*f19dc624Sjohpow01 181*f19dc624Sjohpow01 /* L0 GPT region size in bytes. */ 182*f19dc624Sjohpow01 #define GPT_L0GPTSZ_ACTUAL_SIZE (1UL << GPT_S_VAL) 183*f19dc624Sjohpow01 184*f19dc624Sjohpow01 /* Get the index of the L0 entry from a physical address. */ 185*f19dc624Sjohpow01 #define GPT_L0_IDX(_pa) ((_pa) >> GPT_L0_IDX_SHIFT) 186*f19dc624Sjohpow01 187*f19dc624Sjohpow01 /* 188*f19dc624Sjohpow01 * This definition is used to determine if a physical address lies on an L0 189*f19dc624Sjohpow01 * region boundary. 190*f19dc624Sjohpow01 */ 191*f19dc624Sjohpow01 #define GPT_IS_L0_ALIGNED(_pa) (((_pa) & (GPT_L0_REGION_SIZE - U(1))) == U(0)) 192*f19dc624Sjohpow01 193*f19dc624Sjohpow01 /* Get the type field from an L0 descriptor. */ 194*f19dc624Sjohpow01 #define GPT_L0_TYPE(_desc) (((_desc) >> GPT_L0_TYPE_SHIFT) & \ 195*f19dc624Sjohpow01 GPT_L0_TYPE_MASK) 196*f19dc624Sjohpow01 197*f19dc624Sjohpow01 /* Create an L0 block descriptor. */ 198*f19dc624Sjohpow01 #define GPT_L0_BLK_DESC(_gpi) (GPT_L0_TYPE_BLK_DESC | \ 199*f19dc624Sjohpow01 (((_gpi) & GPT_L0_BLK_DESC_GPI_MASK) << \ 200*f19dc624Sjohpow01 GPT_L0_BLK_DESC_GPI_SHIFT)) 201*f19dc624Sjohpow01 202*f19dc624Sjohpow01 /* Create an L0 table descriptor with an L1 table address. */ 203*f19dc624Sjohpow01 #define GPT_L0_TBL_DESC(_pa) (GPT_L0_TYPE_TBL_DESC | ((uint64_t)(_pa) & \ 204*f19dc624Sjohpow01 (GPT_L0_TBL_DESC_L1ADDR_MASK << \ 205*f19dc624Sjohpow01 GPT_L0_TBL_DESC_L1ADDR_SHIFT))) 206*f19dc624Sjohpow01 207*f19dc624Sjohpow01 /* Get the GPI from an L0 block descriptor. */ 208*f19dc624Sjohpow01 #define GPT_L0_BLKD_GPI(_desc) (((_desc) >> GPT_L0_BLK_DESC_GPI_SHIFT) & \ 209*f19dc624Sjohpow01 GPT_L0_BLK_DESC_GPI_MASK) 210*f19dc624Sjohpow01 211*f19dc624Sjohpow01 /* Get the L1 address from an L0 table descriptor. */ 212*f19dc624Sjohpow01 #define GPT_L0_TBLD_ADDR(_desc) ((uint64_t *)(((_desc) & \ 213*f19dc624Sjohpow01 (GPT_L0_TBL_DESC_L1ADDR_MASK << \ 214*f19dc624Sjohpow01 GPT_L0_TBL_DESC_L1ADDR_SHIFT)))) 215*f19dc624Sjohpow01 216*f19dc624Sjohpow01 /* Get the index into the L1 table from a physical address. */ 217*f19dc624Sjohpow01 #define GPT_L1_IDX(_p, _pa) (((_pa) >> GPT_L1_IDX_SHIFT(_p)) & \ 218*f19dc624Sjohpow01 GPT_L1_IDX_MASK(_p)) 219*f19dc624Sjohpow01 220*f19dc624Sjohpow01 /* Get the index of the GPI within an L1 table entry from a physical address. */ 221*f19dc624Sjohpow01 #define GPT_L1_GPI_IDX(_p, _pa) (((_pa) >> GPT_L1_GPI_IDX_SHIFT(_p)) & \ 222*f19dc624Sjohpow01 GPT_L1_GPI_IDX_MASK) 223*f19dc624Sjohpow01 224*f19dc624Sjohpow01 /* Determine if an address is granule-aligned. */ 225*f19dc624Sjohpow01 #define GPT_IS_L1_ALIGNED(_p, _pa) (((_pa) & (GPT_PGS_ACTUAL_SIZE(_p) - U(1))) \ 226*f19dc624Sjohpow01 == U(0)) 227*f19dc624Sjohpow01 228*f19dc624Sjohpow01 #endif /* GPT_RME_PRIVATE_H */ 229