/* Allocate memory from the appropriate pools and return a pointer to it. NULL is returned if the allocation fails  */
void* ipc_alloc(int size)
/* Allocate memory from the appropriate pools and return a pointer to it. NULL is returned if the allocation fails  */
void* ipc_alloc(int size)
{
	void* out;
	if(size > PAGE_SIZE)
		out = vmalloc(size);
	else
		out = kmalloc(size, GFP_KERNEL);
	return out;
}