tag	line	file	source code
pag	344	fs/exec.c	char *tmp, *pag = NULL;
pag	375	fs/exec.c	if (!(pag = (char *) page[p/PAGE_SIZE]) &&
pag	376	fs/exec.c	!(pag = (char *) page[p/PAGE_SIZE] =
pag	383	fs/exec.c	*(pag + offset) = get_fs_byte(tmp);