arch: x86 -> x86_64 and build system changes

arch/x86_64/kernel/include/ihk/ikc.h

@@ -0,0 +1,26 @@
+/**
+ * \file ikc.h
+ *  License details are found in the file LICENSE.
+ * \brief
+ *  Declare functions to initialize Inter-Kernel Communication
+ * \author Taku Shimosawa  <shimosawa@is.s.u-tokyo.ac.jp> \par
+ *      Copyright (C) 2011 - 2012  Taku Shimosawa
+ */
+/*
+ * HISTORY
+ */
+
+#ifndef HEADER_X86_COMMON_IHK_IKC_H
+#define HEADER_X86_COMMON_IHK_IKC_H
+
+#include <ikc/ihk.h>
+
+#define IKC_PORT_IKC2MCKERNEL 501
+#define IKC_PORT_IKC2LINUX    503
+
+/* manycore side */
+int ihk_mc_ikc_init_first(struct ihk_ikc_channel_desc *,
+                          ihk_ikc_ph_t handler);
+
+#endif
+