Searched refs:system_supports_32bit_el0 (Results 1 – 7 of 7) sorted by relevance
34 !system_supports_32bit_el0()) in SYSCALL_DEFINE1()
2599 if (system_supports_32bit_el0()) in verify_local_cpu_capabilities()2714 if (system_supports_32bit_el0()) in setup_cpu_features()
216 #define compat_elf_check_arch(x) (system_supports_32bit_el0() && \
609 static inline bool system_supports_32bit_el0(void) in system_supports_32bit_el0() function
229 if (!system_supports_32bit_el0()) in set_core_reg()
835 if (!system_supports_32bit_el0() && vcpu_mode_is_32bit(vcpu)) { in kvm_arch_vcpu_ioctl_run()
673 if (!system_supports_32bit_el0()) in reset_pmcr()725 if (!system_supports_32bit_el0()) in access_pmcr()
