Searched defs:original_permissions (Results 1 – 1 of 1) sorted by relevance
2333 int original_permissions; member2389 int original_permissions; in write_protect_page() local2425 unwrite_protect_page (int pid, CORE_ADDR page_start, int original_permissions) in unwrite_protect_page()