K 10
svn:author
V 6
cherry
K 8
svn:date
V 27
2013-03-26T05:25:43.445126Z
K 7
svn:log
V 177
Oops, missed out supporting bits for r248703:
      - store machine address in pcb->pcb_cr3. This prevents AS
        reloads within kernel space.

Approved by: gibbs(implicit)

END