HDRLEN_VMALLOC    533 ipc/util.c     		out = vmalloc(HDRLEN_VMALLOC + size);
HDRLEN_VMALLOC    535 ipc/util.c     			out += HDRLEN_VMALLOC;