sys/arm64/include/hypervisor.h

2087

#define TCR_EL2_PS_MASK (0xfUL << TCR_EL2_PS_SHIFT)

sys/arm64/include/hypervisor.h

2088

#define TCR_EL2_PS_32BITS (0UL << TCR_EL2_PS_SHIFT)

sys/arm64/include/hypervisor.h

2089

#define TCR_EL2_PS_36BITS (1UL << TCR_EL2_PS_SHIFT)

sys/arm64/include/hypervisor.h

2090

#define TCR_EL2_PS_40BITS (2UL << TCR_EL2_PS_SHIFT)

sys/arm64/include/hypervisor.h

2091

#define TCR_EL2_PS_42BITS (3UL << TCR_EL2_PS_SHIFT)

sys/arm64/include/hypervisor.h

2092

#define TCR_EL2_PS_44BITS (4UL << TCR_EL2_PS_SHIFT)

sys/arm64/include/hypervisor.h

2093

#define TCR_EL2_PS_48BITS (5UL << TCR_EL2_PS_SHIFT)

sys/arm64/include/hypervisor.h

2094

#define TCR_EL2_PS_52BITS (6UL << TCR_EL2_PS_SHIFT)

sys/arm64/vmm/vmm_arm64.c

327

el2_regs.tcr_el2 |= min(pa_range_bits << TCR_EL2_PS_SHIFT,

sys/arm64/vmm/vmm_arm64.c

343

switch (pa_range_bits << TCR_EL2_PS_SHIFT) {