/* recycle memory containing stuff only required for initialisation  */
void free_initmem(void)
/* recycle memory containing stuff only required for initialisation  */
void free_initmem(void)
{
	free_init_pages("unused kernel memory",
			(unsigned long) &__init_begin,
			(unsigned long) &__init_end);
}