tree f4e17b92e8ac0b629e89c4bba3cd42bf88c22a04
parent 92ba1401e0f81ea170803045c1ae366bf5d9d87e
author Laszlo Ersek <lersek@redhat.com> 1400585983 +0200
committer Luiz Capitulino <lcapitulino@redhat.com> 1402495828 -0400

dump: eliminate DumpState.page_shift ("guest's page shift")

Just use TARGET_PAGE_BITS.

"DumpState.page_shift" used to have type "uint32_t", while the replacement
TARGET_PAGE_BITS has type "int". Since "DumpState.page_shift" was only
used as bit shift counts in the paddr_to_pfn() and pfn_to_paddr() macros,
this is safe.

Suggested-by: Paolo Bonzini <pbonzini@redhat.com>
Signed-off-by: Laszlo Ersek <lersek@redhat.com>
Reviewed-by: Paolo Bonzini <pbonzini@redhat.com>
Signed-off-by: Luiz Capitulino <lcapitulino@redhat.com>