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	83	mm/memory.c	*page_dir = 0;
page_dir	85	mm/memory.c	printk("Bad page table: [%08x]=%08x\n",page_dir,pg_table);
page_dir	115	mm/memory.c	unsigned long * page_dir;
page_dir	121	mm/memory.c	page_dir = (unsigned long *) tsk->tss.cr3;
page_dir	122	mm/memory.c	if (!page_dir || page_dir == swapper_pg_dir) {
page_dir	126	mm/memory.c	for (i = 0 ; i < 768 ; i++,page_dir++)
page_dir	127	mm/memory.c	free_one_table(page_dir);
page_dir	139	mm/memory.c	unsigned long * page_dir;
page_dir	159	mm/memory.c	page_dir = (unsigned long *) pg_dir;
page_dir	160	mm/memory.c	for (i = 0 ; i < 1024 ; i++,page_dir++)
page_dir	161	mm/memory.c	free_one_table(page_dir);
page_dir	254	mm/memory.c	unsigned long page, page_dir;
page_dir	270	mm/memory.c	if (!(page_dir = *dir))  {
page_dir	274	mm/memory.c	if (!(page_dir & PAGE_PRESENT)) {
page_dir	278	mm/memory.c	page_table = (unsigned long *)(0xfffff000 & page_dir);
page_dir	294	mm/memory.c	free_page(0xfffff000 & page_dir);