void vfree(void *addr);