static void init_level2_page( u64 *level2p, unsigned long addr) 
static void init_level2_page(u64 *level2p, unsigned long addr) 
static void init_level2_page(	u64 *level2p, unsigned long addr){	unsigned long end_addr;	addr &= PAGE_MASK;	end_addr = addr + LEVEL2_SIZE;	while(addr < end_addr) {		*(level2p++) = addr | L1_ATTR;		addr += LEVEL1_SIZE;	}}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/72414d3f1d22fc3e311b162fca95c430048d38ce/machine_kexec.c/clean/arch/x86_64/kernel/machine_kexec.c