Searched refs:pta_tcr_value (Results 1 – 4 of 4) sorted by relevance
128 const uint64_t pta_tcr_value; member
292 .pta_tcr_value = TCR_EL1_4KB,313 .pta_tcr_value = TCR_EL1_16KB,4707 if (pt_attr->pta_tcr_value != get_tcr()) {7951 if ((pmap != kernel_pmap) && (pmap_get_pt_attr(pmap)->pta_tcr_value != get_tcr())) {7952 set_tcr(pmap_get_pt_attr(pmap)->pta_tcr_value);12939 uint64_t tcr_value = pmap_get_pt_attr(pmap)->pta_tcr_value;
309 .pta_tcr_value = TCR_EL1_4KB,330 .pta_tcr_value = TCR_EL1_16KB,351 .pta_tcr_value = TCR_EL1_16KB,11929 uint64_t tcr_value = pmap_get_pt_attr(pmap)->pta_tcr_value;