Searched refs:irq_flag_name (Results 1 – 1 of 1) sorted by relevance
43 char *irq_flag_name; in busy_wait_on_irq() local60 irq_flag_name = "CLEAN_CACHES_COMPLETED"; in busy_wait_on_irq()63 irq_flag_name = "FLUSH_PA_RANGE_COMPLETED"; in busy_wait_on_irq()66 irq_flag_name = "UNKNOWN"; in busy_wait_on_irq()72 irq_flag_name); in busy_wait_on_irq()