diff options
author | Jeremy Fitzhardinge <jeremy.fitzhardinge@citrix.com> | 2009-03-18 13:03:32 -0700 |
---|---|---|
committer | Ingo Molnar <mingo@elte.hu> | 2009-03-19 14:04:18 +0100 |
commit | b40c757964bbad76ecfa88eda9eb0b4d76dd8b40 (patch) | |
tree | d9275bb9bff005a6162dfbbf08663927c027a020 /arch/x86/boot/video-mode.c | |
parent | 705bb9dc72b2464a7e421ee45d5e4a3f206d5c75 (diff) |
x86/32: no need to use set_pte_present in set_pte_vaddr
Impact: cleanup, remove last user of set_pte_present
set_pte_vaddr() is only used to install ptes in fixmaps, and
should never be used to overwrite a present mapping.
Signed-off-by: Jeremy Fitzhardinge <jeremy.fitzhardinge@citrix.com>
Cc: Xen-devel <xen-devel@lists.xensource.com>
LKML-Reference: <1237406613-2929-1-git-send-email-jeremy@goop.org>
Signed-off-by: Ingo Molnar <mingo@elte.hu>
Diffstat (limited to 'arch/x86/boot/video-mode.c')
0 files changed, 0 insertions, 0 deletions