On 20/09/19 01:02, Jim Mattson wrote:
> +int main(int ac, char **av)
> +{
> + setup_idt();
> +
> + report("RDPRU not supported", !this_cpu_has(X86_FEATURE_RDPRU));
> + report("RDPRU raises #UD", rdpru_checking() == UD_VECTOR);
> +
> + return report_summary();
> +}
> diff --git a/x86/unittests.cfg b/x86/unittests.cfg
> index 694ee3d..9764e18 100644
> --- a/x86/unittests.cfg
> +++ b/x86/unittests.cfg
> @@ -221,6 +221,11 @@ file = pcid.flat
> extra_params = -cpu qemu64,+pcid
> arch = x86_64
>
> +[rdpru]
> +file = rdpru.flat
> +extra_params = -cpu host
> +arch = x86_64
> +
> [umip]
> file = umip.flat
> extra_params = -cpu qemu64,+umip
>
Queued, thanks.
Paolo
