rem: arch_cpu_invalidate_TLB_range(va, va+1);
add: arch_cpu_invalidate_TLB_range(va, va);
context: int vm_translation_map_quick_map(kernel_args *ka, addr va, addr pa, unsigned int attributes, addr (*get_free_page)(kernel_args *)){	ptentry *pentry;	int index;#if CHATTY_TMAP	dprintf("quick_tmap: entry pa 0x%x va 0x%x\n", pa, va);#endif	// check to see if a page table exists for this range	index = VADDR_TO_PDENT(va);	if(page_hole_pgdir[index].present == 0) {		addr pgtable;		pdentry *e;		// we need to allocate a pgtable		pgtable = get_free_page(ka);		// pgtable is in pages, convert to physical address		pgtable *= PAGE_SIZE;#if CHATTY_TMAP		dprintf("quick_map: asked for free page for pgtable. 0x%x\n", pgtable);#endif		// put it in the pgdir		e = &page_hole_pgdir[index];		put_pgtable_in_pgdir(e, pgtable, attributes);		// zero it out in it's new mapping		memset((unsigned int *)((unsigned int)page_hole + (va / PAGE_SIZE / 1024) * PAGE_SIZE), 0, PAGE_SIZE);	}	// now, fill in the pentry	pentry = page_hole + va / PAGE_SIZE;	init_ptentry(pentry);	pentry->addr = ADDR_SHIFT(pa);	pentry->user = !(attributes & LOCK_KERNEL);	pentry->rw = attributes & LOCK_RW;	pentry->present = 1;	arch_cpu_invalidate_TLB_range(va, va+1);	return 0;}