Lines Matching defs:id

20  * interrupt `id`, 4 interrupt IDs at a time.
22 unsigned int gicd_read_itargetsr(uintptr_t base, unsigned int id)
24 	unsigned n = id >> ITARGETSR_SHIFT;
30  * interrupt `id`, 4 interrupt IDs at a time.
32 unsigned int gicd_read_cpendsgir(uintptr_t base, unsigned int id)
34 	unsigned n = id >> CPENDSGIR_SHIFT;
40  * interrupt `id`, 4 interrupt IDs at a time.
42 unsigned int gicd_read_spendsgir(uintptr_t base, unsigned int id)
44 	unsigned n = id >> SPENDSGIR_SHIFT;
50  * interrupt `id`, 4 interrupt IDs at a time.
52 void gicd_write_itargetsr(uintptr_t base, unsigned int id, unsigned int val)
54 	unsigned n = id >> ITARGETSR_SHIFT;
60  * interrupt `id`, 4 interrupt IDs at a time.
62 void gicd_write_cpendsgir(uintptr_t base, unsigned int id, unsigned int val)
64 	unsigned n = id >> CPENDSGIR_SHIFT;
70  * interrupt `id`, 4 interrupt IDs at a time.
72 void gicd_write_spendsgir(uintptr_t base, unsigned int id, unsigned int val)
74 	unsigned n = id >> SPENDSGIR_SHIFT;