taglinefilesource code
pag293fs/exec.cchar *tmp, *pag = NULL;
pag324fs/exec.cif (!(pag = (char *) page[p/PAGE_SIZE]) &&
pag325fs/exec.c!(pag = (char *) page[p/PAGE_SIZE] =
pag332fs/exec.c*(pag + offset) = get_user(tmp);