Searched defs:gicd_set_icpendr (Results 1 – 3 of 3) sorted by relevance
84 void gicd_set_icpendr(uintptr_t base, unsigned int id) in gicd_set_icpendr() function
291 void gicd_set_icpendr(uintptr_t base, unsigned int id) in gicd_set_icpendr() function
293 void gicd_set_icpendr(uintptr_t base, unsigned int id) in gicd_set_icpendr() function