kvm_supports_32bit_el0
return !kvm_supports_32bit_el0();
if (!kvm_supports_32bit_el0())
if (!kvm_supports_32bit_el0())
if (!kvm_supports_32bit_el0())
if (!kvm_supports_32bit_el0())
(is_aa32_id_reg(encoding) && !kvm_supports_32bit_el0())) {
if (!kvm_supports_32bit_el0())