Lines Matching defs:intid

276 	uint32_t intid;
288 	intid = plat_ic_acknowledge_interrupt();
290 	if (plat_spmd_handle_group0_interrupt(intid) < 0) {
291 		ERROR("Group0 interrupt %u not handled\n", intid);
296 	plat_ic_end_of_interrupt(intid);
311 	uint32_t intid;
318 	intid = plat_ic_acknowledge_interrupt();
325 	if (plat_spmd_handle_group0_interrupt(intid) < 0) {
327 		ERROR("Group0 interrupt %u not handled\n", intid);
332 	plat_ic_end_of_interrupt(intid);