kvm_pte_follow
mm_ops->dcache_clean_inval_poc(kvm_pte_follow(new, mm_ops),
mm_ops->icache_inval_pou(kvm_pte_follow(new, mm_ops), granule);
kvm_pte_t *childp = kvm_pte_follow(ctx->old, mm_ops);
childp = kvm_pte_follow(ctx->old, mm_ops);
mm_ops->dcache_clean_inval_poc(kvm_pte_follow(ctx->old, mm_ops),
mm_ops->icache_inval_pou(kvm_pte_follow(pte, mm_ops),
mm_ops->dcache_clean_inval_poc(kvm_pte_follow(ctx->old, mm_ops),
kvm_pte_t *childp = kvm_pte_follow(ctx->old, mm_ops);
childp = (kvm_pteref_t)kvm_pte_follow(ctx.old, mm_ops);
childp = kvm_pte_follow(ctx->old, mm_ops);
mm_ops->put_page(kvm_pte_follow(ctx->old, mm_ops));