Searched refs:pl190_irq_level (Results 1 – 1 of 1) sorted by relevance
50 static inline uint32_t pl190_irq_level(PL190State *s) in pl190_irq_level() function58 uint32_t level = pl190_irq_level(s); in pl190_update()115 return pl190_irq_level(s); in pl190_read()