Searched refs:gicd_read_icpendr (Results 1 – 4 of 4) sorted by relevance
46 unsigned int gicd_read_icpendr(uintptr_t base, unsigned int id);
59 unsigned int gicd_read_icpendr(uintptr_t base, unsigned int id) in gicd_read_icpendr() function
114 unsigned int gicd_read_icpendr(uintptr_t, unsigned int);
41 unsigned int gicd_read_icpendr(uintptr_t base, unsigned int id) in gicd_read_icpendr() function