+
+ __vfree(ptr, piles, CLASS_LEN(piles_names));
+}
+
+void*
+valloc_dma(unsigned int size)
+{
+ return __valloc(size, piles_dma, CLASS_LEN(piles_names_dma), 7);
+}
+
+void*
+vzalloc_dma(unsigned int size)
+{
+ void* ptr = __valloc(size, piles_dma, CLASS_LEN(piles_names_dma), 7);
+ memset(ptr, 0, size);
+ return ptr;
+}
+
+void
+vfree_dma(void* ptr)
+{
+ __vfree(ptr, piles_dma, CLASS_LEN(piles_names_dma));