K 10
svn:author
V 6
cherry
K 8
svn:date
V 27
2013-10-12T14:23:33.927901Z
K 7
svn:log
V 86
Initialise percpu vcpu_info properly with the dpcpu api

Approved by: gibbs(implicit)

END