static void xen_cpuid(unsigned int *ax, unsigned int *bx,
unsigned int *cx, unsigned int *dx)
{
static void xen_cpuid(unsigned int *ax, unsigned int *bx,
unsigned int *cx, unsigned int *dx)
{
* Mask out inconvenient features, to try and disable as many
* unsupported kernel subsystems as possible.
*/
* Mask out inconvenient features, to try and disable as many
* unsupported kernel subsystems as possible.
*/