Symbol: stage2_pte_is_locked
arch/arm64/kvm/hyp/pgtable.c
833
if (stage2_pte_is_locked(ctx->old)) {
arch/arm64/kvm/hyp/pgtable.c
873
WARN_ON(!stage2_pte_is_locked(*ctx->ptep));