diff options
Diffstat (limited to 'include/user/page-protection.h')
| -rw-r--r-- | include/user/page-protection.h | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/include/user/page-protection.h b/include/user/page-protection.h index 51daa18..d5c8748 100644 --- a/include/user/page-protection.h +++ b/include/user/page-protection.h @@ -16,7 +16,6 @@ #include "exec/target_long.h" #include "exec/translation-block.h" -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); |