386 static __always_inline bool is_vhe_hyp_code(void)  in is_vhe_hyp_code()  argument
392 static __always_inline bool is_nvhe_hyp_code(void)  in is_nvhe_hyp_code()  argument
398 static __always_inline bool is_hyp_code(void)  in is_hyp_code()  argument
423 static __always_inline bool system_capabilities_finalized(void)  in system_capabilities_finalized()  argument
611 static inline bool cpu_supports_mixed_endian_el0(void)  in cpu_supports_mixed_endian_el0()  argument
648 static inline bool system_supports_32bit_el0(void)  in system_supports_32bit_el0()  argument
656 static inline bool system_supports_4kb_granule(void)  in system_supports_4kb_granule()  argument
669 static inline bool system_supports_64kb_granule(void)  in system_supports_64kb_granule()  argument
682 static inline bool system_supports_16kb_granule(void)  in system_supports_16kb_granule()  argument
695 static inline bool system_supports_mixed_endian_el0(void)  in system_supports_mixed_endian_el0()  argument
700 static inline bool system_supports_mixed_endian(void)  in system_supports_mixed_endian()  argument
712 static __always_inline bool system_supports_fpsimd(void)  in system_supports_fpsimd()  argument
717 static inline bool system_uses_ttbr0_pan(void)  in system_uses_ttbr0_pan()  argument
723 static __always_inline bool system_supports_sve(void)  in system_supports_sve()  argument
729 static __always_inline bool system_supports_cnp(void)  in system_supports_cnp()  argument
735 static inline bool system_supports_address_auth(void)  in system_supports_address_auth()  argument
741 static inline bool system_supports_generic_auth(void)  in system_supports_generic_auth()  argument
747 static inline bool system_has_full_ptr_auth(void)  in system_has_full_ptr_auth()  argument
752 static __always_inline bool system_uses_irq_prio_masking(void)  in system_uses_irq_prio_masking()  argument
758 static inline bool system_supports_mte(void)  in system_supports_mte()  argument
764 static inline bool system_has_prio_mask_debugging(void)  in system_has_prio_mask_debugging()  argument
770 static inline bool system_supports_bti(void)  in system_supports_bti()  argument
775 static inline bool system_supports_tlb_range(void)  in system_supports_tlb_range()  argument
805 static inline bool cpu_has_hw_af(void)  in cpu_has_hw_af()  argument