Searched defs:gicd_set_ispendr (Results 1 – 3 of 3) sorted by relevance
116 void gicd_set_ispendr(uintptr_t base, unsigned int id) in gicd_set_ispendr() function
284 void gicd_set_ispendr(uintptr_t base, unsigned int id) in gicd_set_ispendr() function
286 void gicd_set_ispendr(uintptr_t base, unsigned int id) in gicd_set_ispendr() function