Searched refs:gicd_write_spendsgir (Results 1 – 3 of 3) sorted by relevance
133 void gicd_write_spendsgir(uintptr_t, unsigned int, unsigned int);
70 void gicd_write_spendsgir(uintptr_t base, unsigned int id, unsigned int val) in gicd_write_spendsgir() function
159 void gicd_write_spendsgir(uintptr_t base, unsigned int id, unsigned int val) in gicd_write_spendsgir() function