Lines Matching refs:pa_range
1501 unsigned int pa_range = 0x10; /* Larger than any possible value */ in setup_virt_paging() local
1507 if ( info->mm64.pa_range < pa_range ) in setup_virt_paging()
1508 pa_range = info->mm64.pa_range; in setup_virt_paging()
1523 if ( pa_range >= ARRAY_SIZE(pa_range_info) || !pa_range_info[pa_range].pabits ) in setup_virt_paging()
1524 panic("Unknown encoding of ID_AA64MMFR0_EL1.PARange %x\n", pa_range); in setup_virt_paging()
1526 val |= VTCR_PS(pa_range); in setup_virt_paging()
1532 val |= VTCR_SL0(pa_range_info[pa_range].sl0); in setup_virt_paging()
1533 val |= VTCR_T0SZ(pa_range_info[pa_range].t0sz); in setup_virt_paging()
1535 p2m_root_order = pa_range_info[pa_range].root_order; in setup_virt_paging()
1536 p2m_root_level = 2 - pa_range_info[pa_range].sl0; in setup_virt_paging()
1537 p2m_ipa_bits = 64 - pa_range_info[pa_range].t0sz; in setup_virt_paging()
1541 pa_range_info[pa_range].pabits, in setup_virt_paging()