Later on this will also be used to track size of the vcpu data array.
Use size_t so that we can utilize the memory allocation helpers.