84 static inline void aplic_enable_interrupt(struct aplic_data *aplic,  in aplic_enable_interrupt()  argument
87 	io_write32(aplic->aplic_base + APLIC_SETIENUM, source);  in aplic_enable_interrupt()
90 static inline void aplic_disable_interrupt(struct aplic_data *aplic,  in aplic_disable_interrupt()  argument
93 	io_write32(aplic->aplic_base + APLIC_CLRIENUM, source);  in aplic_disable_interrupt()
96 static inline void aplic_set_pending(struct aplic_data *aplic, uint32_t source)  in aplic_set_pending()  argument
98 	io_write32(aplic->aplic_base + APLIC_SETIPNUM, source);  in aplic_set_pending()
101 static inline void aplic_clear_pending(struct aplic_data *aplic,  in aplic_clear_pending()  argument
104 	io_write32(aplic->aplic_base + APLIC_CLRIPNUM, source);  in aplic_clear_pending()
107 static inline bool aplic_is_bad_it(struct aplic_data *aplic, size_t it)  in aplic_is_bad_it()  argument
109 	return !it || it > aplic->num_source;  in aplic_is_bad_it()
112 TEE_Result aplic_init_from_device_tree(struct aplic_data *aplic);
113 TEE_Result aplic_set_source_mode(struct aplic_data *aplic, uint32_t source,