On Fri, Jun 07, 2013 at 06:55:58PM +0200, Michael Holzheu wrote: [..] > /* > - * Create kdump ELF core header in new kernel, if it has not been passed via > - * the "elfcorehdr" kernel parameter > + * Free ELF core header (new kernel) > */ > -static int setup_kdump_elfcorehdr(void) > +void elfcorehdr_free(void) > { I was hoping that we will pass the value returned by elfcorehdr_alloc() here. Something along the lines of kmalloc() and kfree(). elfcorehdr_addr = elfcorhdr_alloc(); ... ... elfcorhdr_free(elfcorhdr_addr); Only odd part here is that arch will not set elfcorehdr_addr=NULL as there are functions like is_kdump_kernel() which depend on it being set. That might be a separate cleanup thought and we can put a comment after elfcorhdr_free() and explain that oddity. Thanks Vivek