|
@@ -15,18 +15,13 @@
|
|
|
int init_new_context(struct task_struct *tsk, struct mm_struct *mm);
|
|
|
void destroy_context(struct mm_struct *mm);
|
|
|
|
|
|
-#ifdef CONFIG_SMP
|
|
|
-
|
|
|
static inline void enter_lazy_tlb(struct mm_struct *mm, struct task_struct *tsk)
|
|
|
{
|
|
|
+#ifdef CONFIG_SMP
|
|
|
if (read_pda(mmu_state) == TLBSTATE_OK)
|
|
|
write_pda(mmu_state, TLBSTATE_LAZY);
|
|
|
-}
|
|
|
-#else
|
|
|
-static inline void enter_lazy_tlb(struct mm_struct *mm, struct task_struct *tsk)
|
|
|
-{
|
|
|
-}
|
|
|
#endif
|
|
|
+}
|
|
|
|
|
|
static inline void load_cr3(pgd_t *pgd)
|
|
|
{
|