Index: kernel/arch/ia32/src/smp/mps.c
===================================================================
--- kernel/arch/ia32/src/smp/mps.c	(revision 0c3e63fff86cbab4d9fa841c7a0b5517d32c6376)
+++ kernel/arch/ia32/src/smp/mps.c	(revision 50f4b9515d8379359f3deeb824cd9361eefed873)
@@ -72,5 +72,5 @@
 static size_t l_intr_entry_cnt = 0;
 
-static uint8_t get_cpu_apic_id(size_t i)
+static uint8_t mps_cpu_apic_id(size_t i)
 {
 	ASSERT(i < processor_entry_cnt);
@@ -79,5 +79,5 @@
 }
 
-static bool is_cpu_enabled(size_t i)
+static bool mps_cpu_enabled(size_t i)
 {
 	ASSERT(i < processor_entry_cnt);
@@ -94,5 +94,5 @@
 }
 
-static bool is_bsp(size_t i)
+static bool mps_cpu_bootstrap(size_t i)
 {
 	ASSERT(i < processor_entry_cnt);
@@ -118,7 +118,7 @@
  */
 struct smp_config_operations mps_config_operations = {
-	.cpu_enabled = is_cpu_enabled,
-	.cpu_bootstrap = is_bsp,
-	.cpu_apic_id = get_cpu_apic_id,
+	.cpu_enabled = mps_cpu_enabled,
+	.cpu_bootstrap = mps_cpu_bootstrap,
+	.cpu_apic_id = mps_cpu_apic_id,
 	.irq_to_pin = mps_irq_to_pin
 };