Changes in kernel/arch/ia32/include/mm/asid.h [2ddcc7b:d99c1d2] in mainline

File:

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

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)