i -= boffset;
if (i >= len)
- return NULL;
+ i = 0;
return cake_grab(segregate_list[i]);
}
vfree_dma(void* ptr)
{
__vfree(ptr, piles_dma, CLASS_LEN(piles_names_dma));
+}
+
+inline void must_inline
+valloc_ensure_valid(void* ptr) {
+ cake_ensure_valid(ptr);
}
\ No newline at end of file