rumpuser_malloc
int rumpuser_malloc(size_t, int, void **);
error = rumpuser_malloc(howmuch, alignment, &rv);
error = rumpuser_malloc(size, align, &rv);