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> |
||
|---|---|---|
| .. | ||
| arch_init.h | ||
| balloon.h | ||
| blockdev.h | ||
| bt.h | ||
| char.h | ||
| cpus.h | ||
| device_tree.h | ||
| dma.h | ||
| dump.h | ||
| iothread.h | ||
| kvm.h | ||
| memory_mapping.h | ||
| os-posix.h | ||
| os-win32.h | ||
| qtest.h | ||
| rng-random.h | ||
| rng.h | ||
| seccomp.h | ||
| sysemu.h | ||
| tpm.h | ||
| tpm_backend.h | ||
| tpm_backend_int.h | ||
| watchdog.h | ||
| xen-mapcache.h | ||