Home
last modified time | relevance | path

Searched refs:pa_range_bits (Results 1 – 1 of 1) sorted by relevance

/freebsd/sys/arm64/vmm/
H A Dvmm_arm64.c240 uint64_t id_aa64mmfr0_el1, pa_range_bits, pa_range_field; in vmmops_modinit() local
281 pa_range_bits = pa_range_field >> ID_AA64MMFR0_PARange_SHIFT; in vmmops_modinit()
332 el2_regs.tcr_el2 |= min(pa_range_bits << TCR_EL2_PS_SHIFT, in vmmops_modinit()
348 switch (pa_range_bits << TCR_EL2_PS_SHIFT) { in vmmops_modinit()
408 min(pa_range_bits << VTCR_EL2_PS_SHIFT, VTCR_EL2_PS_52BIT); in vmmops_modinit()
411 min(pa_range_bits << VTCR_EL2_PS_SHIFT, VTCR_EL2_PS_48BIT); in vmmops_modinit()