On Wed, Jul 01, 2020 at 12:25:48PM +0200, Jan Beulich wrote:
> 84e364f2eda2 ("x86: add CMCI software injection interface") merely made
> sure things would build, without any concern about things actually
> working:
> - despite the addition of xenctl_bitmap to xlat.lst, the resulting macro
> wasn't invoked anywhere (which would have lead to recognizing that the
> structure appeared to have no fully compatible layout, despite the use
> of a 64-bit handle),
> - the interface struct itself was neither added to xlat.lst (and the
> resulting macro then invoked) nor was any manual checking of
> individual fields added.
>
> Adjust compat header generation logic to retain XEN_GUEST_HANDLE_64(),
> which is intentionally layed out to be compatible between different size
> guests. Invoke the missing checking (implicitly through CHECK_mc).
>
> No change in the resulting generated code.
>
> Fixes: 84e364f2eda2 ("x86: add CMCI software injection interface")
> Signed-off-by: Jan Beulich <[email protected]>
Reviewed-by: Roger Pau Monné <[email protected]>
Thanks.
