Advertisement
Guest User

Untitled

a guest
Jan 20th, 2018
69
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.24 KB | None | 0 0
  1. void* is_valid_addr(const void *vaddr)
  2. {
  3. if (!is_user_vaddr(vaddr))
  4. {
  5. exit_proc(-1);
  6. return 0;
  7. }
  8. void *ptr = pagedir_get_page(thread_current()->pagedir, vaddr);
  9. if (!ptr)
  10. {
  11. exit_proc(-1);
  12. return 0;
  13. }
  14. return ptr;
  15. }
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement