[CRIU] [PATCH 9/9] headers: util.h -- Move memory helpers to memory.h

[Cyrill Gorcunov]

On Tue, Apr 02, 2013 at 08:43:54PM +0400, Pavel Emelyanov wrote:
> 
> It handles not just memory, but memory _allocation_.
> Name it to reflect this fact.

Here we go.