tag
line
file
source code
pag
412
fs/exec.c
char *tmp, *pag = NULL;
pag
443
fs/exec.c
if (!(pag = (char *) page[p/PAGE_SIZE]) &&
pag
444
fs/exec.c
!(pag = (char *) page[p/PAGE_SIZE] =
pag
451
fs/exec.c
*(pag + offset) = get_user(tmp);