Did you mean (for Linux-v4.19):irq_available is_available
Your search defs:ipi_available did not match any files. Suggestions: