Searched refs:gicd_read_ispendr (Results 1 – 4 of 4) sorted by relevance
46 unsigned int gicd_read_ispendr(uintptr_t base, unsigned int id);
56 unsigned int gicd_read_ispendr(uintptr_t base, unsigned int id) in gicd_read_ispendr() function
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