|
@@ -17,7 +17,7 @@
|
|
|
|
|
|
static inline void __native_flush_tlb(void)
|
|
|
{
|
|
|
- write_cr3(read_cr3());
|
|
|
+ native_write_cr3(native_read_cr3());
|
|
|
}
|
|
|
|
|
|
static inline void __native_flush_tlb_global(void)
|
|
@@ -32,11 +32,11 @@ static inline void __native_flush_tlb_global(void)
|
|
|
*/
|
|
|
raw_local_irq_save(flags);
|
|
|
|
|
|
- cr4 = read_cr4();
|
|
|
+ cr4 = native_read_cr4();
|
|
|
/* clear PGE */
|
|
|
- write_cr4(cr4 & ~X86_CR4_PGE);
|
|
|
+ native_write_cr4(cr4 & ~X86_CR4_PGE);
|
|
|
/* write old PGE again and flush TLBs */
|
|
|
- write_cr4(cr4);
|
|
|
+ native_write_cr4(cr4);
|
|
|
|
|
|
raw_local_irq_restore(flags);
|
|
|
}
|