Changes in kernel/arch/ia32/include/smp/smp.h [fe32163:98000fb] in mainline

File:

• kernel/arch/ia32/include/smp/smp.h (modified) (2 diffs)

kernel/arch/ia32/include/smp/smp.h

@@ -27 +27 @@
  */
 
-/** @addtogroup ia32
+/** @addtogroup ia32    
  * @{
  */
@@ -36 +36 @@
 #define KERN_ia32_SMP_H_
 
-#include <typedefs.h>
+#include <arch/types.h>
 
 /** SMP config opertaions interface. */
 struct smp_config_operations {
-        /** Check whether a processor is enabled. */
-        bool (* cpu_enabled)(size_t);
-        
-        /** Check whether a processor is BSP. */
-        bool (*cpu_bootstrap)(size_t);
-        
-        /** Return APIC ID of a processor. */
-        uint8_t (*cpu_apic_id)(size_t);
-        
-        /** Return mapping between IRQ and APIC pin. */
-        int (*irq_to_pin)(unsigned int);
+        size_t (* cpu_count)(void);             /**< Return number of detected processors. */
+        bool (* cpu_enabled)(size_t i); /**< Check whether the processor of index i is enabled. */
+        bool (*cpu_bootstrap)(size_t i);        /**< Check whether the processor of index i is BSP. */
+        uint8_t (*cpu_apic_id)(size_t i);               /**< Return APIC ID of the processor of index i. */
+        int (*irq_to_pin)(unsigned int irq);            /**< Return mapping between irq and APIC pin. */
 };
 
-extern int smp_irq_to_pin(unsigned int);
+extern int smp_irq_to_pin(unsigned int irq);
 
 #endif