Changeset 2ddcc7b in mainline for kernel/arch/ia32/include

Timestamp:

2010-06-27T23:02:55Z (15 years ago)

Author:

Martin Decky <martin@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

33dac7d

Parents:

74c5a1ca

Message:

cstyle cleanup (no change in functionality)

Location:

kernel/arch/ia32/include

Files:

• bios/bios.h (modified) (2 diffs)
• drivers/i8259.h (modified) (1 diff)
• fpu_context.h (modified) (2 diffs)
• mm/asid.h (modified) (2 diffs)

kernel/arch/ia32/include/bios/bios.h

@@ -27 +27 @@
  */
 
-/** @addtogroup ia32    
+/** @addtogroup ia32
  * @{
  */
@@ -38 +38 @@
 #include <typedefs.h>
 
-#define BIOS_EBDA_PTR   0x40e
+#define BIOS_EBDA_PTR  0x40e
 
 extern uintptr_t ebda;

kernel/arch/ia32/include/drivers/i8259.h

@@ -48 +48 @@
 
 extern void i8259_init(void);
-extern void pic_enable_irqs(uint16_t irqmask);
-extern void pic_disable_irqs(uint16_t irqmask);
+extern void pic_enable_irqs(uint16_t);
+extern void pic_disable_irqs(uint16_t);
 extern void pic_eoi(void);
 

kernel/arch/ia32/include/fpu_context.h

@@ -27 +27 @@
  */
 
-/** @addtogroup ia32    
+/** @addtogroup ia32
  * @{
  */
@@ -38 +38 @@
 #include <typedefs.h>
 
-#define FPU_CONTEXT_ALIGN 16
-
-void fpu_fxsr(void);
-void fpu_fsr(void);
-
+#define FPU_CONTEXT_ALIGN  16
 
 typedef struct {
-        uint8_t fpu[512];               /* FXSAVE & FXRSTOR storage area */
+        uint8_t fpu[512];  /* FXSAVE & FXRSTOR storage area */
 } fpu_context_t;
+
+extern void fpu_fxsr(void);
+extern void fpu_fsr(void);
 
 #endif

kernel/arch/ia32/include/mm/asid.h

@@ -27 +27 @@
  */
 
-/** @addtogroup ia32mm  
+/** @addtogroup ia32mm
  * @{
  */
@@ -47 +47 @@
 typedef int32_t asid_t;
 
-#define ASID_MAX_ARCH           3
+#define ASID_MAX_ARCH  3
 
-#define asid_get()              (ASID_START + 1)
+#define asid_get()  (ASID_START + 1)
 #define asid_put(asid)