Searched refs:gicd_write_cpendsgir (Results 1 – 3 of 3) sorted by relevance
132 void gicd_write_cpendsgir(uintptr_t, unsigned int, unsigned int);
60 void gicd_write_cpendsgir(uintptr_t base, unsigned int id, unsigned int val) in gicd_write_cpendsgir() function
153 void gicd_write_cpendsgir(uintptr_t base, unsigned int id, unsigned int val) in gicd_write_cpendsgir() function