diff options
| author | Laszlo Ersek <lersek@redhat.com> | 2014-05-20 13:39:43 +0200 |
|---|---|---|
| committer | Luiz Capitulino <lcapitulino@redhat.com> | 2014-06-11 10:10:28 -0400 |
| commit | 22227f121bddb038a0335cf83a3c24f451e2e836 (patch) | |
| tree | f4e17b92e8ac0b629e89c4bba3cd42bf88c22a04 /roms | |
| parent | 92ba1401e0f81ea170803045c1ae366bf5d9d87e (diff) | |
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>
Diffstat (limited to 'roms')
0 files changed, 0 insertions, 0 deletions