876d5b05bd6cd2a3f634822be5fa1716e9517e75 - upstream - Git at Google

commit: 876d5b05bd6cd2a3f634822be5fa1716e9517e75
[log] [tgz]
author: Barret Rhoden <brho@cs.berkeley.edu>
Thu Apr 02 10:37:26 2015 -0400
committer: Barret Rhoden <brho@cs.berkeley.edu>
Tue Apr 07 15:07:00 2015 -0400
tree: 2753f851c9ac87427a3d429d45da8e0084058807
parent: f926c02b21e9c5121d4ea7fb9ed0b49db22a4238 [diff]

VMM: handle EPT page faults

Pretty damn simple - just use the real page fault handler, and the EPT
is filled in under the hood by all the epte_ ops.

2 files changed

tree: 2753f851c9ac87427a3d429d45da8e0084058807