Jeremy Fitzhardinge 71ff49d71b 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>
2009-03-19 14:04:19 +01:00
..
2008-08-21 13:52:58 +02:00
2008-08-21 13:52:58 +02:00
2009-02-09 12:17:30 +01:00
2009-02-23 00:54:01 +01:00
2008-12-16 21:05:01 +01:00
2008-10-16 16:53:15 +02:00
2007-10-11 11:16:51 +02:00
2009-02-04 16:59:02 -08:00