K 10
svn:author
V 4
neel
K 8
svn:date
V 27
2014-05-24T19:13:25.651099Z
K 7
svn:log
V 329
When injecting a page fault into the guest also update the guest's %cr2 to
indicate the faulting linear address.

If the guest PML4 entry has the PG_PS bit set then inject a page fault into
the guest with the PGEX_RSV bit set in the error_code.

Get rid of redundant checks for the PG_RW violations when walking the page
tables.

END