Did you mean (for linux):activate_irq
Your search defs:activate_ipi did not match any files. Suggestions: