x86: implement set_pte_vaddr
authorJeremy Fitzhardinge <jeremy@goop.org>
Tue, 17 Jun 2008 18:41:59 +0000 (11:41 -0700)
committerIngo Molnar <mingo@elte.hu>
Fri, 20 Jun 2008 13:09:54 +0000 (15:09 +0200)
Signed-off-by: Jeremy Fitzhardinge <jeremy@xensource.com>
Signed-off-by: Ingo Molnar <mingo@elte.hu>

No differences found