cae6f73ac2
`is_physical_memory()' now for the decision whether to dump some region of memory or not. Suggested by: davidg