K 10
svn:author
V 3
jhb
K 8
svn:date
V 27
2006-05-01T21:36:47.000000Z
K 7
svn:log
V 200
Add a new 'pmap_invalidate_cache()' to flush the CPU caches via the
wbinvd() instruction.  This includes a new IPI so that all CPU caches on
all CPUs are flushed for the SMP case.

MFC after:	1 month

END