Did you mean (for linux):scp_send_ipi set_send_ipi
Your search defs:SBI_SEND_IPI did not match any files. Suggestions: