K 10
svn:author
V 4
neel
K 8
svn:date
V 27
2012-08-04T02:38:05.121149Z
K 7
svn:log
V 119
API to map an apic id to the vcpu.

At the moment this is a simple mapping because the numerical values are
identical.

END