Symbol: stage2_pte_executable
arch/arm64/kvm/hyp/pgtable.c
1007
stage2_pte_executable(new))
arch/arm64/kvm/hyp/pgtable.c
1248
stage2_pte_executable(pte) && !stage2_pte_executable(ctx->old))