fix vmalloc