Searched refs:tcr_value (Results 1 – 2 of 2) sorted by relevance
11112 uint64_t tcr_value = pmap_get_pt_attr(pmap)->pta_tcr_value; local11113 return 64 - ((tcr_value >> TCR_T0SZ_SHIFT) & TCR_TSZ_MASK);
12889 uint64_t tcr_value = pmap_get_pt_attr(pmap)->pta_tcr_value; local12890 return 64 - ((tcr_value >> TCR_T0SZ_SHIFT) & TCR_TSZ_MASK);