Lines Matching refs:id

71 	uint32_t linear_id = plat_my_core_pos(), id;
74 	 * Get the highest priority pending interrupt id and see if it is the
83 	id = plat_ic_get_pending_interrupt_id();
86 	if (id != TSP_IRQ_SEC_PHY_TIMER) {
92 		ERROR("Unexpected interrupt id %u\n", id);
103 	id = plat_ic_acknowledge_interrupt();
104 	assert(id == TSP_IRQ_SEC_PHY_TIMER);
106 	plat_ic_end_of_interrupt(id);
111 	       read_mpidr(), id);