The code as written is correct, and will be used by QEMU emulation.
Signed-off-by: NMatt Turner <mattst88@gmail.com>
Signed-off-by: NRichard Henderson <rth@twiddle.net>