Symbol: kvm_supported_tlbi_ipas2_op
arch/arm64/kvm/sys_regs.c
3963
if (!kvm_supported_tlbi_ipas2_op(vcpu, sys_encoding))
arch/arm64/kvm/sys_regs.c
4017
if (!kvm_supported_tlbi_ipas2_op(vcpu, sys_encoding))