diff options
Diffstat (limited to 'include/user/page-protection.h')
| -rw-r--r-- | include/user/page-protection.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/include/user/page-protection.h b/include/user/page-protection.h index bdd98a37de..51daa18648 100644 --- a/include/user/page-protection.h +++ b/include/user/page-protection.h @@ -19,6 +19,8 @@ void page_protect(tb_page_addr_t page_addr); int page_unprotect(tb_page_addr_t address, uintptr_t pc); +int page_get_flags(target_ulong address); + /** * page_set_flags: * @start: first byte of range |