Symbol: s1pie_enabled
arch/arm64/kvm/at.c
1226
if (!s1pie_enabled(vcpu, wi->regime))
arch/arm64/kvm/at.c
277
wi->hpd |= s1pie_enabled(vcpu, wi->regime);
arch/arm64/kvm/at.c
935
if (s1pie_enabled(vcpu, regime))