thread_get_cur_vl
vq = sve_vq_from_vl(thread_get_cur_vl(&task->thread));
vl = thread_get_cur_vl(&task->thread);
vq = sve_vq_from_vl(thread_get_cur_vl(&task->thread));
vl = thread_get_cur_vl(¤t->thread);