Browse Source
Set and clear PAGE_DONTDUMP, and honor that in vma_dump_size. Signed-off-by: Jon Wilson <jonwilson030981@gmail.com> [rth: Use new page_set_flags semantics; also handle DODUMP] Signed-off-by: Richard Henderson <richard.henderson@linaro.org>pull/305/head
committed by
Richard Henderson
3 changed files with 13 additions and 3 deletions
Loading…
Reference in new issue