spin_lock(&init_mm.page_table_lock); 
unsigned long __init mmu_mapin_ram(void){	unsigned long v, s;	phys_addr_t p;	v = KERNELBASE;	p = PPC_MEMSTART;	s = 0;	if (__map_without_ltlbs) {		return s;	}	while (s <= (total_lowmem - LARGE_PAGE_SIZE_16M)) {		pmd_t *pmdp;		unsigned long val = p | _PMD_SIZE_16M | _PAGE_HWEXEC | _PAGE_HWWRITE;		spin_lock(&init_mm.page_table_lock);		pmdp = pmd_offset(pgd_offset_k(v), v);		pmd_val(*pmdp++) = val;		pmd_val(*pmdp++) = val;		pmd_val(*pmdp++) = val;		pmd_val(*pmdp++) = val;		spin_unlock(&init_mm.page_table_lock);		v += LARGE_PAGE_SIZE_16M;		p += LARGE_PAGE_SIZE_16M;		s += LARGE_PAGE_SIZE_16M;	}	while (s <= (total_lowmem - LARGE_PAGE_SIZE_4M)) {		pmd_t *pmdp;		unsigned long val = p | _PMD_SIZE_4M | _PAGE_HWEXEC | _PAGE_HWWRITE;		spin_lock(&init_mm.page_table_lock);		pmdp = pmd_offset(pgd_offset_k(v), v);		pmd_val(*pmdp) = val;		spin_unlock(&init_mm.page_table_lock);		v += LARGE_PAGE_SIZE_4M;		p += LARGE_PAGE_SIZE_4M;		s += LARGE_PAGE_SIZE_4M;	}	return s;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/872fec16d9a0ed3b75b8893aa217e49cca575ee5/4xx_mmu.c/clean/arch/ppc/mm/4xx_mmu.c