XENCONS_WBUFSIZE
kmem_free(xencons_wbuf, XENCONS_WBUFSIZE);
xencons_wbuf = kmem_alloc(XENCONS_WBUFSIZE, KM_SLEEP);
space = XENCONS_WBUFSIZE;