VTCR_ORGN0        134 arch/arm/include/asm/kvm_arm.h #define VTCR_MASK	(VTCR_SH0 | VTCR_ORGN0 | VTCR_IRGN0 | VTCR_SL0 | \
VTCR_ORGN0        136 arch/arm/include/asm/kvm_arm.h #define VTCR_HTCR_SH	(VTCR_SH0 | VTCR_ORGN0 | VTCR_IRGN0)