+}
+
+void*
+valloc(unsigned int size)
+{
+ return __valloc(size, &piles);
+}
+
+void*
+vcalloc(unsigned int size)
+{
+ void* ptr = __valloc(size, &piles);
+ memset(ptr, 0, size);
+ return ptr;
+}
+
+void
+vfree(void* ptr)
+{
+ __vfree(ptr, &piles);
+}
+
+void*
+valloc_dma(unsigned int size)
+{
+ return __valloc(size, &piles_dma);
+}
+
+void*
+vcalloc_dma(unsigned int size)
+{
+ void* ptr = __valloc(size, &piles_dma);
+ memset(ptr, 0, size);
+ return ptr;
+}
+
+void
+vfree_dma(void* ptr)
+{
+ __vfree(ptr, &piles_dma);