diff options
author | Jeremy Fitzhardinge <jeremy.fitzhardinge@citrix.com> | 2009-03-18 13:03:33 -0700 |
---|---|---|
committer | Ingo Molnar <mingo@elte.hu> | 2009-03-19 14:04:19 +0100 |
commit | 71ff49d71bb5cfcd2689b54cb433c0e6990a1d86 (patch) | |
tree | cd10748eca84c4f843ff048bfac7dd4d3b69537c /init | |
parent | b40c757964bbad76ecfa88eda9eb0b4d76dd8b40 (diff) |
x86: with the last user gone, remove set_pte_present
Impact: cleanup
set_pte_present() is no longer used, directly or indirectly,
so remove it.
Signed-off-by: Jeremy Fitzhardinge <jeremy.fitzhardinge@citrix.com>
Cc: Xen-devel <xen-devel@lists.xensource.com>
Cc: Jeremy Fitzhardinge <jeremy.fitzhardinge@citrix.com>
Cc: Alok Kataria <akataria@vmware.com>
Cc: Marcelo Tosatti <mtosatti@redhat.com>
Cc: Avi Kivity <avi@redhat.com>
LKML-Reference: <1237406613-2929-2-git-send-email-jeremy@goop.org>
Signed-off-by: Ingo Molnar <mingo@elte.hu>
Diffstat (limited to 'init')
0 files changed, 0 insertions, 0 deletions