(unsigned long) __bss_end - (unsigned long) __bss_start); 
(unsigned long) __bss_stop - (unsigned long) __bss_start); 
static void __init clear_bss(void){	extern char __bss_start[], __bss_end[];	memset(__bss_start, 0,	       (unsigned long) __bss_end - (unsigned long) __bss_start);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/2bc0414ee04fd8bb798760801f5d7476dff44241/head64.c/buggy/arch/x86_64/kernel/head64.c