K 10
svn:author
V 10
nwhitehorn
K 8
svn:date
V 27
2015-03-04T16:45:31.069804Z
K 7
svn:log
V 190
Move Book-E/AIM dependent bits for setting user PMAP during thread switch
out of cpu_switch() and into pmap_activate() where they belong. This also
removes all the #ifdef from cpu_switch().

END