stage2_pte_cacheable
stage2_pte_cacheable(pgt, new))
} else if (stage2_pte_cacheable(pgt, ctx->old)) {
if (!stage2_pte_cacheable(pgt, ctx->old))