Searched refs:tcr (Results 1 – 2 of 2) sorted by relevance
110 uint64_t tcr; /* kernel tcr_el1 register value */ member234 sc_va_size_bits(uint64_t tcr) in sc_va_size_bits() argument236 return 64 - ((tcr >> TCR_T1SZ_SHIFT) & TCR_TSZ_MASK); in sc_va_size_bits()241 sc_va_page_size_bits(uint64_t tcr) in sc_va_page_size_bits() argument243 const uint64_t tg1 = tcr & (TCR_TG1_GRANULE_MASK << TCR_TG1_GRANULE_SHIFT); in sc_va_page_size_bits()261 const uint64_t va_size_bits = sc_va_size_bits(hdrp->tcr); in sc_boostrap_va()263 kern_coredump_log(NULL, "secure_core: Invalid VA bit size: 0x%llx", hdrp->tcr); in sc_boostrap_va()270 const uint64_t page_size_bits = sc_va_page_size_bits(hdrp->tcr); in sc_boostrap_va()272 kern_coredump_log(NULL, "secure_core: Invalid page size bits: 0x%llx", hdrp->tcr); in sc_boostrap_va()
1917 #define L1_TABLE_T1_INDEX(va, tcr) (((va) & ARM_PTE_T1_REGION_MASK(tcr)) >> ARM_TT_L1_SHIFT) argument