if (mtrr_state.var_ranges) kfree(mtrr_state.var_ranges); 
kfree(mtrr_state.var_ranges); 
void __init finalize_mtrr_state(void){	if (mtrr_state.var_ranges)		kfree(mtrr_state.var_ranges);	mtrr_state.var_ranges = NULL;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/4ae6673e029d609da7ef4311440d6de501d6967a/generic.c/clean/arch/i386/kernel/cpu/mtrr/generic.c