On Thu, Jun 10, 2021, Paolo Bonzini wrote:> Make them the same type as vCPU stats. There is no reason> to limit the counters to 64 bits.s/64/32? Either that or I'm worse at math than I thought.