Как использовать 'thrust :: device_vector' в вызове ядра?

Question

Я хочу использовать device_vector внутри вызова ядра. Однако я не могу заставить его даже компилировать. Например, я хотел бы, чтобы что-то вроде ниже работало -

__global__  
void func_check(){

    printf("size of vector is %d", b.size());
}

int main(){

    thrust::host_vector<int> a;
    a.push_back(1);
    thrust::device_vector<int> b = a;
    func_check<<<1,1>>>();
}

Я получаю следующую ошибку: «ошибка: идентификатор« b »не определен».