Changeset 80bcaed in mainline for kernel/arch/sparc64/include/mm/tsb.h

Timestamp:

2007-02-03T13:22:24Z (18 years ago)

Author:

Jakub Jermar <jakub@…>

Branches:

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

Children:

f619ec11

Parents:

fa8e7d2

Message:

Merge as_t structure into one and leave the differring parts in as_genarch_t.

Indentation and formatting changes in header files.

File:

• kernel/arch/sparc64/include/mm/tsb.h (modified) (2 diffs)

kernel/arch/sparc64/include/mm/tsb.h

@@ -55 +55 @@
 #include <arch/mm/mmu.h>
 #include <arch/types.h>
-#include <mm/as.h>
 
 /** TSB Base register. */
@@ -109 +108 @@
 }
 
-extern void tsb_invalidate(as_t *as, uintptr_t page, count_t pages);
-extern void itsb_pte_copy(pte_t *t);
-extern void dtsb_pte_copy(pte_t *t, bool ro);
+/* Forward declarations. */
+struct as;
+struct pte;
+
+extern void tsb_invalidate(struct as *as, uintptr_t page, count_t pages);
+extern void itsb_pte_copy(struct pte *t);
+extern void dtsb_pte_copy(struct pte *t, bool ro);
 
 #endif /* !def __ASM__ */