Record number of VCPUs used by a guest and provide an accessor function.