Lines Matching refs:u32

38 	u32 device_id;	/* device ID */
39 	u32 nr_ites;	/* Max Interrupt Translation Entries */
56 	u32 nr_devices;		/* Allocated Devices */
133 extern struct its_device *its_create_device(u32 dev_id, int nr_ites);
134 extern struct its_collection *its_create_collection(u16 col_id, u32 target_pe);
138 extern void __its_send_mapti(struct its_device *dev, u32 irq_id, u32 event_id,
140 extern void __its_send_int(struct its_device *dev, u32 event_id, bool verbose);
141 extern void __its_send_inv(struct its_device *dev, u32 event_id, bool verbose);
142 extern void __its_send_discard(struct its_device *dev, u32 event_id, bool verbose);
143 extern void __its_send_clear(struct its_device *dev, u32 event_id, bool verbose);
146 			    u32 id, bool verbose);
171 extern struct its_device *its_get_device(u32 id);
172 extern struct its_collection *its_get_collection(u32 id);