cpu_has_32bit_el1   69 arch/arm64/kvm/reset.c 		r = cpu_has_32bit_el1();
cpu_has_32bit_el1  291 arch/arm64/kvm/reset.c 			if (!cpu_has_32bit_el1())