Searched refs:gicd_read_icactiver (Results 1 – 3 of 3) sorted by relevance
49 unsigned int gicd_read_icactiver(uintptr_t base, unsigned int id);
89 unsigned int gicd_read_icactiver(uintptr_t base, unsigned int id) in gicd_read_icactiver() function
87 unsigned int gicd_read_icactiver(uintptr_t base, unsigned int id) in gicd_read_icactiver() function