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