Searched defs:gicd_read_ispendr (Results 1 – 3 of 3) sorted by relevance
222 unsigned int gicd_read_ispendr(uintptr_t base, unsigned int id) in gicd_read_ispendr() function
54 unsigned int gicd_read_ispendr(uintptr_t base, unsigned int id) in gicd_read_ispendr() function
56 unsigned int gicd_read_ispendr(uintptr_t base, unsigned int id) in gicd_read_ispendr() function