+83
−0
+5
−88
Loading
As set_pte() no longer references either a gpte or the guest walker, we can
move it out of paging mode dependent code (which compiles twice and is
generally nasty).
Signed-off-by:
Avi Kivity <avi@qumranet.com>