Searched defs:irq_data (Results 1 – 1 of 1) sorted by relevance
215 uint32_t irq_data = 0x600df00d; in test_hw_irq() local273 uint32_t irq_data = 0x600d0d06; in test_pool_irq() local399 uint32_t irq_data = 0xdeadbeef; in test_hw_group_irq() local464 uint32_t irq_data = 0x01234567; in test_hw_group_irq_backlog() local