Searched refs:gicd_read_icactiver (Results 1 – 4 of 4) sorted by relevance
48 unsigned int gicd_read_icactiver(uintptr_t base, unsigned int id);
79 unsigned int gicd_read_icactiver(uintptr_t base, unsigned int id) in gicd_read_icactiver() function
116 unsigned int gicd_read_icactiver(uintptr_t, unsigned int);
53 unsigned int gicd_read_icactiver(uintptr_t base, unsigned int id) in gicd_read_icactiver() function