Changes in kernel/arch/ia32/src/smp/mps.c [63e27ef:b2e121a] in mainline

File:

• kernel/arch/ia32/src/smp/mps.c (modified) (3 diffs)

kernel/arch/ia32/src/smp/mps.c

@@ -41 +41 @@
 #include <arch/smp/smp.h>
 #include <assert.h>
-#include <func.h>
+#include <halt.h>
 #include <typedefs.h>
 #include <cpu.h>
@@ -91 +91 @@
                 return false;
         
-        return (bool) ((processor_entries[i].cpu_flags & 0x01) == 0x01);
+        return ((processor_entries[i].cpu_flags & 0x01) == 0x01);
 }
 
@@ -98 +98 @@
         assert(i < processor_entry_cnt);
         
-        return (bool) ((processor_entries[i].cpu_flags & 0x02) == 0x02);
+        return ((processor_entries[i].cpu_flags & 0x02) == 0x02);
 }