tag	line	file	source code
pte_mkold	749	ipc/shm.c	*page_table = pte_mkold(pte);
pte_mkold	249	mm/memory.c	*new_pte = pte_mkold(pte);
pte_mkold	337	mm/swap.c	*page_table = pte_mkold(pte);