Fix broken build with WHPX enabled
authorStefan Weil <sw@weilnetz.de>
Fri, 12 Jul 2019 13:26:11 +0000 (15:26 +0200)
committerPaolo Bonzini <pbonzini@redhat.com>
Mon, 15 Jul 2019 09:20:43 +0000 (11:20 +0200)
commitf2b143a28138a837e9a452e247e1703ebd6bf55e
treec89ce510f4d06f58953aa2826e43314a3011262f
parent838ec1177c45812ff177a35ff93990e9eb7f70c3
Fix broken build with WHPX enabled

Signed-off-by: Stefan Weil <sw@weilnetz.de>
Message-Id: <20190712132611.20411-1-sw@weilnetz.de>
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
target/i386/whpx-all.c