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