54 static inline unsigned long current_level(void)  in current_level()  argument
61 static inline void local_irq_enable(void)  in local_irq_enable()  argument
66 static inline void local_irq_disable(void)  in local_irq_disable()  argument
71 static inline uint64_t get_mpidr(void)  in get_mpidr()  argument
88 static inline u64 get_cntvct(void)  in get_cntvct()  argument
94 static inline u32 get_cntfrq(void)  in get_cntfrq()  argument
99 static inline u64 get_ctr(void)  in get_ctr()  argument
104 static inline unsigned long get_id_aa64mmfr0_el1(void)  in get_id_aa64mmfr0_el1()  argument
145 static inline unsigned long get_id_aa64pfr0_el1(void)  in get_id_aa64pfr0_el1()  argument
152 static inline bool system_supports_sve(void)  in system_supports_sve()  argument
157 static inline unsigned long sve_vl(void)  in sve_vl()  argument
169 static inline bool system_supports_rndr(void)  in system_supports_rndr()  argument