if (cpu_arch <= CPU_ARCH_ARMv5) 
if (cpu_arch <= CPU_ARCH_ARMv5TEJ) 
void setup_mm_for_reboot(char mode){	unsigned long pmdval;	pgd_t *pgd;	pmd_t *pmd;	int i;	int cpu_arch = cpu_architecture();	if (current->mm && current->mm->pgd)		pgd = current->mm->pgd;	else		pgd = init_mm.pgd;	for (i = 0; i < FIRST_USER_PGD_NR + USER_PTRS_PER_PGD; i++) {		pmdval = (i << PGDIR_SHIFT) |			 PMD_SECT_AP_WRITE | PMD_SECT_AP_READ |			 PMD_TYPE_SECT;		if (cpu_arch <= CPU_ARCH_ARMv5)			pmdval |= PMD_BIT4;		pmd = pmd_off(pgd, i << PGDIR_SHIFT);		pmd[0] = __pmd(pmdval);		pmd[1] = __pmd(pmdval + (1 << (PGDIR_SHIFT - 1)));		flush_pmd_entry(pmd);	}}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/8107338bf9d0367d0b3f42730906b83532b6786f/mm-armv.c/clean/arch/arm/mm/mm-armv.c