Changes in kernel/arch/ia32/src/mm/tlb.c [98000fb:2ddcc7b] in mainline
- File:
-
- 1 edited
-
kernel/arch/ia32/src/mm/tlb.c (modified) (2 diffs)
Legend:
- Unmodified
- Added
- Removed
-
kernel/arch/ia32/src/mm/tlb.c
r98000fb r2ddcc7b 27 27 */ 28 28 29 /** @addtogroup ia32mm 29 /** @addtogroup ia32mm 30 30 * @{ 31 31 */ … … 37 37 #include <arch/mm/asid.h> 38 38 #include <arch/asm.h> 39 #include < arch/types.h>39 #include <typedefs.h> 40 40 41 41 /** Invalidate all entries in TLB. */
Note:
See TracChangeset
for help on using the changeset viewer.
