Intel
http://www.intel.com/Assets/PDF/appnote/241618.pdf
The cpuid is organized in several 32 bit bitmasks. In an sxp configuration, a cpuid entry
that just supplies values with the default policy would look like the following:
(cpuid
( (0
)
) )
The respective bits may be changed by using the following values:
1
Force the corresponding bit to 1
0
Force the corresponding bit to 0
x
Use the values of the default policy
k
Use the values defined by the host
s
Like k, but preserve the value over migrations
Note, that counting bits is done from right to the left, starting with bit 0.
For an example about how to use this feature with configuration scripts in /etc/xen/
vm, see /etc/xen/examples/xmexample.hvm.
76
Virtualization with Xen
(
(eax xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx)
(edx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx)
(ebx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx)
(ecx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx)
)