Re: kalloc.c and recent gcc's

[Alfred M. Szmidt]

   My question was rather if we can be sure that realloc() or
   memalign() aren't used by e.g. printf() or other library functions
   that mach-defpager is calling.

As I told you, you need to check that in the source code for realloc
and memalign.