tag	line	file	source code
page_dir	75	mm/memory.c	static void free_one_table(unsigned long * page_dir)
page_dir	78	mm/memory.c	unsigned long pg_table = *page_dir;
page_dir	84	mm/memory.c	printk("Bad page table: [%08x]=%08x\n",page_dir,pg_table);
page_dir	85	mm/memory.c	*page_dir = 0;
page_dir	88	mm/memory.c	*page_dir = 0;
page_dir	116	mm/memory.c	unsigned long * page_dir;
page_dir	122	mm/memory.c	page_dir = (unsigned long *) tsk->tss.cr3;
page_dir	123	mm/memory.c	if (!page_dir) {
page_dir	127	mm/memory.c	for (i = 0 ; i < 768 ; i++,page_dir++)
page_dir	128	mm/memory.c	free_one_table(page_dir);
page_dir	140	mm/memory.c	unsigned long * page_dir;
page_dir	156	mm/memory.c	page_dir = (unsigned long *) pg_dir;
page_dir	157	mm/memory.c	for (i = 0 ; i < 1024 ; i++,page_dir++)
page_dir	158	mm/memory.c	free_one_table(page_dir);
page_dir	235	mm/memory.c	unsigned long page, page_dir;
page_dir	251	mm/memory.c	if (!(page_dir = *dir))  {
page_dir	255	mm/memory.c	if (!(page_dir & 1)) {
page_dir	259	mm/memory.c	page_table = (unsigned long *)(0xfffff000 & page_dir);
page_dir	275	mm/memory.c	free_page(0xfffff000 & page_dir);