| 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.