tree b7db31edc04799a878b0a4ec10f1f7bab4d25355
parent 7cd5da7eef152a533c5774effd2e7bbfa5976c86
author Wen Congyang <wency@cn.fujitsu.com> 1356160434 +0800
committer Luiz Capitulino <lcapitulino@redhat.com> 1357751540 -0200

target-i386: fix bits 39:32 of the final physical address when using 4M page

((pde & 0x1fe000) << 19) is the bits 39:32 of the final physical address, and
we shouldn't use unit32_t to calculate it. Convert the type to hwaddr to fix
this problem.

Signed-off-by: Wen Congyang <wency@cn.fujitsu.com>
Reviewed-by: Markus Armbruster <armbru@redhat.com>
Signed-off-by: Luiz Capitulino <lcapitulino@redhat.com>