void*
valloc(unsigned int size);
+void*
+vzalloc(unsigned int size);
+
+void*
+vcalloc(unsigned int size, unsigned int count);
+
void
vfree(void* ptr);
void*
valloc_dma(unsigned int size);
+void*
+vzalloc_dma(unsigned int size);
+
void
vfree_dma(void* ptr);