x86: arch_send_call_function_ipi_mask