tree 2753f851c9ac87427a3d429d45da8e0084058807
parent f926c02b21e9c5121d4ea7fb9ed0b49db22a4238
author Barret Rhoden <brho@cs.berkeley.edu> 1427985446 -0400
committer Barret Rhoden <brho@cs.berkeley.edu> 1428433620 -0400

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.