VTTBR_CNP_BIT     151 arch/arm/include/asm/kvm_arm.h #define VTTBR_CNP_BIT     _AC(1, UL)
VTTBR_CNP_BIT     259 arch/arm64/include/asm/kvm_arm.h #define VTTBR_CNP_BIT     (UL(1))