No printk to inform how much memory freed in ARM after booting

[anish singh]

Guess, this is trivial question but probably useful to know.

void free_initmem(void)
{
#ifdef CONFIG_HAVE_TCM
        extern char __tcm_start, __tcm_end;

        totalram_pages += free_area(__phys_to_pfn(__pa(&__tcm_start)),
                                    __phys_to_pfn(__pa(&__tcm_end)),
                                    "TCM link");
#endif

#ifndef CONFIG_HOTPLUG_CPU
        if (!machine_is_integrator() && !machine_is_cintegrator())
                totalram_pages += free_area(__phys_to_pfn(__pa(__init_begin)),
                                            __phys_to_pfn(__pa(__init_end)),
                                            "init");
#endif
}

Here i don't see any printk information for specifying how much memory is freed.
Other architectures do have this printk e.g kernel/arch/ia64/mm/init.c +169

While checking this excellent answer[1] given by rene i found that arm
is missing this or may be i am missing something probably this information
i can find it somewhere else also.

Intention was to add __devinit in my probe function and out of
curiosity how much
i am saving.

[1]http://www.spinics.net/lists/newbies/msg29197.html