kvm_pgtable_walk_shared
WARN_ON_ONCE(kvm_pgtable_walk_shared(ctx) && !kvm_pgtable_walk_lock_held());
if (!kvm_pgtable_walk_shared(ctx)) {
WARN_ON(!kvm_pgtable_walk_shared(ctx));
if (!kvm_pgtable_walk_shared(ctx) &&