#ifdef CONFIG_PPC_64K_PAGES get_paca()->pgdir = NULL; #endif /* CONFIG_PPC_64K_PAGES */ 
static inline void enter_lazy_tlb(struct mm_struct *mm, struct task_struct *tsk){}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/3c726f8dee6f55e96475574e9f645327e461884c/mmu_context.h/buggy/include/asm-ppc64/mmu_context.h