VTTBR_CNP_BIT
u64 cnp = system_supports_cnp() ? VTTBR_CNP_BIT : 0;
return !(mmu->tlb_vttbr & VTTBR_CNP_BIT);
resx.res0 |= VTTBR_CNP_BIT;
vttbr &= ~VTTBR_CNP_BIT;
s2_mmu->tlb_vttbr = vcpu_read_sys_reg(vcpu, VTTBR_EL2) & ~VTTBR_CNP_BIT;
mmu->tlb_vttbr = VTTBR_CNP_BIT;