K 10
svn:author
V 6
adrian
K 8
svn:date
V 27
2012-10-22T22:32:52.077627Z
K 7
svn:log
V 119
Don't try to cache the page setting - always set the page before
doing a switch register read/write.

PR:		kern/172968

END