diff options
| author | Emilio G. Cota <cota@braap.org> | 2018-04-05 19:52:53 -0400 |
|---|---|---|
| committer | Richard Henderson <richard.henderson@linaro.org> | 2018-06-15 07:42:55 -1000 |
| commit | 6d9abf85d538731ccff25fc29d7fa938115b1a80 (patch) | |
| tree | 6341e092cc1f06cd2db10a75c53c05950b1f21d5 /docs | |
| parent | 0b5c91f74f3c83a36f37740969df8c775c997e69 (diff) | |
translate-all: add page_locked assertions
This is only compiled under CONFIG_DEBUG_TCG to avoid
bloating the binary.
In user-mode, assert_page_locked is equivalent to assert_mmap_lock.
Note: There are some tb_lock assertions left that will be
removed by later patches.
Reviewed-by: Richard Henderson <richard.henderson@linaro.org>
Suggested-by: Alex Bennée <alex.bennee@linaro.org>
Signed-off-by: Emilio G. Cota <cota@braap.org>
Signed-off-by: Richard Henderson <richard.henderson@linaro.org>
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions