>>> On 13.05.16 at 09:49, wrote:
> --- a/xen/arch/x86/cpu/common.c
> +++ b/xen/arch/x86/cpu/common.c
> @@ -45,6 +45,45 @@ unsigned int paddr_bits __read_mostly = 36;
> */
> u64 host_pat = 0x050100070406;
>
> +/*
> + * x86_match_cpu - match the current CPU against an array of
> + * x86_cpu_ids
Add a common interface for matching the current cpu against an
array of x86_cpu_ids. Also change mwait-idle.c to use it.
Signed-off-by: Wei Wang
---
xen/arch/x86/cpu/common.c | 39 +++
xen/arch/x86/cpu/mwait-idle.c | 30 +-
