Searched refs:gicr_get_isactiver0 (Results 1 – 3 of 3) sorted by relevance
70 unsigned int gicr_get_isactiver0(uintptr_t base, unsigned int id);
190 unsigned int gicr_get_isactiver0(uintptr_t base, unsigned int id) in gicr_get_isactiver0() function
842 value = gicr_get_isactiver0( in gicv3_get_interrupt_active()