diff options
| author | Nikunj A Dadhania <nikunj@linux.vnet.ibm.com> | 2014-09-15 09:28:23 +0530 |
|---|---|---|
| committer | Paolo Bonzini <pbonzini@redhat.com> | 2014-10-31 11:29:01 +0100 |
| commit | e4dc3f5909ab90520bc1a27b381c3017ff65ed68 (patch) | |
| tree | 380b6b1dedb693e6e75872734c47ed104d58dee4 /exec.c | |
| parent | b154537ad07598377ebf98252fb7d2aff127983b (diff) | |
Add skip_dump flag to ignore memory region during dump
The PCI MMIO might be disabled or the device in the reset state.
Make sure we do not dump these memory regions.
Signed-off-by: Nikunj A Dadhania <nikunj@linux.vnet.ibm.com>
Acked-by: Alex Williamson <alex.williamson@redhat.com>
CC: Paolo Bonzini <pbonzini@redhat.com>
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
Diffstat (limited to 'exec.c')
0 files changed, 0 insertions, 0 deletions