39 					 unsigned src_id, unsigned type,
53 				      unsigned src_id, const uint32_t *iv_entry);
69 typedef int (*cgs_add_irq_source_t)(void *cgs_device, unsigned src_id,
86 typedef int (*cgs_irq_get_t)(void *cgs_device, unsigned src_id, unsigned type);
101 typedef int (*cgs_irq_put_t)(void *cgs_device, unsigned src_id, unsigned type);
110 #define cgs_add_irq_source(dev,src_id,num_types,set,handler,private_data) \  argument
111 	CGS_OS_CALL(add_irq_source,dev,src_id,num_types,set,handler,	\
113 #define cgs_irq_get(dev,src_id,type)		\  argument
114 	CGS_OS_CALL(irq_get,dev,src_id,type)
115 #define cgs_irq_put(dev,src_id,type)		\  argument
116 	CGS_OS_CALL(irq_put,dev,src_id,type)