Searched refs:gicd_write_nsacr (Results 1 – 4 of 4) sorted by relevance
65 void gicd_write_nsacr(uintptr_t base, unsigned int id, unsigned int val);
235 void gicd_write_nsacr(uintptr_t base, unsigned int id, unsigned int val) in gicd_write_nsacr() function
241 void gicd_write_nsacr(uintptr_t base, unsigned int id, unsigned int val) in gicd_write_nsacr() function
233 void gicd_write_nsacr(uintptr_t base, unsigned int id, unsigned int val) in gicd_write_nsacr() function