thorpej
Wed Mar 18 15:55:25 PST 1998
Update of /cvsroot/src/sys/arch/alpha/alpha
In directory nb00:/tmp/cvs-serv23774

Modified Files:
	pmap.old.c 
Log Message:
Add a macro to invalidate the TLB for a given pmap/va pair.  TLB
invalidation algorithm:

	if (old mapping had PG_ASM set || pmap is active) {
		TIBS(va);
		if (also sync I-stream)
			imb();
	}

The check for "old mapping had PG_ASM" will get all kernel mappings (since
kernel mappings always have PG_ASM set).

This allows us to remove the bogus check for the kernel pmap in
active_pmap() - do so.

Use the new TLB invalidation macro whenever such action is needed.