Is &p->member well-defined for a device pointer p in CUDA host code?

Suppose I have the following struct, with an array followed by a counter, where the size of the array is potentially big: struct myStruct { int values[N]; int counter; } and a producer-consumer setup. I see thre