taglinefilesource code
pag419fs/exec.cchar *tmp, *pag = NULL;
pag450fs/exec.cif (!(pag = (char *) page[p/PAGE_SIZE]) &&
pag451fs/exec.c!(pag = (char *) page[p/PAGE_SIZE] =
pag458fs/exec.c*(pag + offset) = get_user(tmp);