pgd_t *pgd; pmd_t *pmd;  pgd = pgd_offset_k(from_address); pmd = pmd_alloc(&init_mm, pgd, from_address); if (!pmd) BUG(); from_pte = pte_alloc_kernel(&init_mm, pmd, from_address); if (!from_pte) BUG();  to_pte = pte_alloc_kernel(&init_mm, pmd, to_address); if (!to_pte) BUG();  
static int __init v6_userpage_init(void){	if (cache_is_vipt_aliasing()) {		pgd_t *pgd;		pmd_t *pmd;		pgd = pgd_offset_k(from_address);		pmd = pmd_alloc(&init_mm, pgd, from_address);		if (!pmd)			BUG();		from_pte = pte_alloc_kernel(&init_mm, pmd, from_address);		if (!from_pte)			BUG();		to_pte = pte_alloc_kernel(&init_mm, pmd, to_address);		if (!to_pte)			BUG();		cpu_user.cpu_clear_user_page = v6_clear_user_page_aliasing;		cpu_user.cpu_copy_user_page = v6_copy_user_page_aliasing;	}	return 0;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/08ee4e4c5fd3fb0857eeb6a5a0ff66881432e8a3/copypage-v6.c/clean/arch/arm/mm/copypage-v6.c