Changeset a1e98de in mainline for kernel/arch/ia32/include

Timestamp:

2010-08-11T15:24:08Z (15 years ago)

Author:

Martin Decky <martin@…>

Branches:

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

Children:

ff586e06

Parents:

482dde7 (diff), 17ccb9d7 (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

merge small cleanups (no change in functionality)

Location:

kernel/arch/ia32/include

Files:

• bios/bios.h (modified) (1 diff)
• mm/as.h (modified) (1 diff)
• mm/page.h (modified) (2 diffs)
• pm.h (modified) (2 diffs)

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

@@ -38 +38 @@
 #include <typedefs.h>
 
-#define BIOS_EBDA_PTR  0x40e
-
 extern uintptr_t ebda;
 

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

@@ -27 +27 @@
  */
 
-/** @addtogroup ia32mm  
+/** @addtogroup ia32mm
  * @{
  */

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

@@ -27 +27 @@
  */
 
-/** @addtogroup ia32mm  
+/** @addtogroup ia32mm
  * @{
  */
@@ -106 +106 @@
 
 /* Set PTE flags accessors for each level. */
-#define SET_PTL1_FLAGS_ARCH(ptl0, i, x) \
+#define SET_PTL1_FLAGS_ARCH(ptl0, i, x) \
         set_pt_flags((pte_t *) (ptl0), (size_t) (i), (x))
 #define SET_PTL2_FLAGS_ARCH(ptl1, i, x)

kernel/arch/ia32/include/pm.h

@@ -58 +58 @@
 #endif /* CONFIG_FB */
 
-#define gdtselector(des)  ((des) << 3)
+#define GDT_SELECTOR(des)  ((des) << 3)
 
 #define PL_KERNEL  0
@@ -153 +153 @@
 
 extern ptr_16_32_t gdtr;
-extern ptr_16_32_t bootstrap_gdtr;
 extern ptr_16_32_t protected_ap_gdtr;
 extern tss_t *tss_p;