Kernelinternal function return value caching?

[Johannes Weiner]

Hi folks,

never mind about this. The function got called but returned before the
debugging printf()..

The problem was somewhere else but it's fixed now and the patch submitted.

Hannes