tree 96b3a39266f5222e795c5f90e03b86c91e28384a
parent 6d9abf85d538731ccff25fc29d7fa938115b1a80
author Emilio G. Cota <cota@braap.org> 1519350629 -0500
committer Richard Henderson <richard.henderson@linaro.org> 1529084575 -1000

translate-all: introduce assert_no_pages_locked

The appended adds assertions to make sure we do not longjmp with page
locks held. Note that user-mode has nothing to check, since page_locks
are !user-mode only.

Reviewed-by: Richard Henderson <richard.henderson@linaro.org>
Signed-off-by: Emilio G. Cota <cota@braap.org>
Signed-off-by: Richard Henderson <richard.henderson@linaro.org>