2 * i386-specific implemetation of Translation Buffer Flushing
3 * Written By: Alex Ionescu <alex@relsoft.net>
4 * Reference: IA-32 IntelĀ® Architecture Software Developer's Manual, Volume 3: System Programming Guide,
5 * Chapter 10 - Memory Cache Control. Section 10.9 - Invalidating the Translation Lookaside Buffers
8 #include <internal/i386/ke.h>
11 .globl _KeFlushCurrentTb@0
13 /* Check for global page support */
14 testb $0xff, (_Ke386GlobalPagesEnabled)
17 /* Modifying the PSE, PGE or PAE Flag in CR4 causes the TLB to be flushed */
19 andl $~X86_CR4_PGE, %eax
21 orl $X86_CR4_PGE, %eax