stage2_pte_is_counted
if (stage2_pte_is_counted(ctx->old)) {
if (!stage2_pte_is_counted(ctx->old))
if (stage2_pte_is_counted(ctx->old))
if (stage2_pte_is_counted(new))
bool old_is_counted = stage2_pte_is_counted(ctx->old);
if (old_is_counted != stage2_pte_is_counted(new)) {