Fix broken build with WHPX enabled
commit6b04af55dc702cdf36cd3045e479671ed7dab460
authorStefan Weil <sw@weilnetz.de>
Fri, 12 Jul 2019 13:23:03 +0000 (12 15:23 +0200)
committerStefan Weil <sw@weilnetz.de>
Fri, 12 Jul 2019 16:05:23 +0000 (12 18:05 +0200)
treef414fd16c9839eb49812b4a52f27bcb932f3654e
parentcba1283a0b0bee317fa7c57fdd9ddb4b3c176bf4
Fix broken build with WHPX enabled

Signed-off-by: Stefan Weil <sw@weilnetz.de>
target/i386/whpx-all.c