Index: arch/ia32/include/smp/mps.h
===================================================================
--- arch/ia32/include/smp/mps.h	(revision e3f41b62d5b503ff9a3beb8ab121cc305d5f2fd7)
+++ arch/ia32/include/smp/mps.h	(revision f0a8e529bbd43e2fa0944df376cfc326148cea8c)
@@ -34,4 +34,5 @@
 #include <synch/waitq.h>
 #include <config.h>
+#include <arch/smp/smp.h>
 
 #define CT_EXT_ENTRY_TYPE		0
@@ -118,4 +119,6 @@
 extern waitq_t kmp_completion_wq;
 
+extern struct smp_config_operations mps_config_operations;
+
 extern int mps_irq_to_pin(int irq);
 
Index: arch/ia32/include/smp/smp.h
===================================================================
--- arch/ia32/include/smp/smp.h	(revision f0a8e529bbd43e2fa0944df376cfc326148cea8c)
+++ arch/ia32/include/smp/smp.h	(revision f0a8e529bbd43e2fa0944df376cfc326148cea8c)
@@ -0,0 +1,42 @@
+/*
+ * Copyright (C) 2005 Jakub Jermar
+ * All rights reserved.
+ *
+ * Redistribution and use in source and binary forms, with or without
+ * modification, are permitted provided that the following conditions
+ * are met:
+ *
+ * - Redistributions of source code must retain the above copyright
+ *   notice, this list of conditions and the following disclaimer.
+ * - Redistributions in binary form must reproduce the above copyright
+ *   notice, this list of conditions and the following disclaimer in the
+ *   documentation and/or other materials provided with the distribution.
+ * - The name of the author may not be used to endorse or promote products
+ *   derived from this software without specific prior written permission.
+ *
+ * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
+ * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
+ * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
+ * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
+ * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
+ * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
+ * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
+ * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
+ * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
+ * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
+ */
+
+#ifndef __ia32_SMP_H__
+#define __ia32_SMP_H__
+
+#include <arch/types.h>
+#include <typedefs.h>
+
+struct smp_config_operations {
+	count_t (* cpu_count)(void);
+	bool (* cpu_enabled)(index_t i);
+	bool (*cpu_bootstrap)(index_t i);
+	__u8 (*cpu_apic_id)(index_t i);
+};
+
+#endif
