177 int dt_get_irq_type_prio(const void *fdt, int node, uint32_t *type,
183 static inline int dt_get_irq(const void *fdt, int node)  in dt_get_irq()  argument
185 	return dt_get_irq_type_prio(fdt, node, NULL, NULL);  in dt_get_irq()
494 TEE_Result interrupt_register_provider(const void *fdt, int node,
515 TEE_Result interrupt_dt_get_by_index(const void *fdt, int node,
533 TEE_Result interrupt_dt_get_by_name(const void *fdt, int node, const char *name,
537 						     int node __unused,  in interrupt_register_provider()
545 						   int node __unused,  in interrupt_dt_get_by_index()
554 						  int node __unused,  in interrupt_dt_get_by_name()
567 static inline TEE_Result interrupt_dt_get(const void *fdt, int node,  in interrupt_dt_get()  argument
571 	return interrupt_dt_get_by_index(fdt, node, 0, chip, itr_num);  in interrupt_dt_get()