K 10
svn:author
V 8
cperciva
K 8
svn:date
V 27
2010-12-31T17:39:58.443533Z
K 7
svn:log
V 231
Make i386_set_ldt work on i386/XEN, step 2/5.

Don't map physical to machine page numbers in pte_load_store, since it uses
PT_SET_VA (which takes a physical page number and converts it to a machine
page number).

MFC after:	3 days

END