60 static inline __unused uint64_t read_hcr_el2_amvoffen(void)  in read_hcr_el2_amvoffen()
66 static inline __unused void write_cptr_el2_tam(uint64_t value)  in write_cptr_el2_tam()
72 static inline __unused void ctx_write_scr_el3_amvoffen(cpu_context_t *ctx, uint64_t amvoffen)  in ctx_write_scr_el3_amvoffen()
82 static inline __unused void write_hcr_el2_amvoffen(uint64_t value)  in write_hcr_el2_amvoffen()
88 static inline __unused void write_amcr_el0_cg1rz(uint64_t value)  in write_amcr_el0_cg1rz()
94 static inline __unused uint64_t read_amcfgr_el0_ncg(void)  in read_amcfgr_el0_ncg()
100 static inline __unused uint64_t read_amcgcr_el0_cg0nc(void)  in read_amcgcr_el0_cg0nc()
106 static inline __unused uint64_t read_amcg1idr_el0_voff(void)  in read_amcg1idr_el0_voff()
112 static inline __unused uint64_t read_amcgcr_el0_cg1nc(void)  in read_amcgcr_el0_cg1nc()
118 static inline __unused uint64_t read_amcntenset0_el0_px(void)  in read_amcntenset0_el0_px()
124 static inline __unused uint64_t read_amcntenset1_el0_px(void)  in read_amcntenset1_el0_px()
130 static inline __unused void write_amcntenset0_el0_px(uint64_t px)  in write_amcntenset0_el0_px()
140 static inline __unused void write_amcntenset1_el0_px(uint64_t px)  in write_amcntenset1_el0_px()
150 static inline __unused void write_amcntenclr0_el0_px(uint64_t px)  in write_amcntenclr0_el0_px()
160 static inline __unused void write_amcntenclr1_el0_px(uint64_t px)  in write_amcntenclr1_el0_px()
171 static __unused bool amu_group1_supported(void)  in amu_group1_supported()