diff options
Diffstat (limited to 'arch/i386/kernel/vmi.c')
| -rw-r--r-- | arch/i386/kernel/vmi.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/arch/i386/kernel/vmi.c b/arch/i386/kernel/vmi.c index b8d01c3cbff4..ccad7ee960aa 100644 --- a/arch/i386/kernel/vmi.c +++ b/arch/i386/kernel/vmi.c | |||
| @@ -851,8 +851,10 @@ static inline int __init activate_vmi(void) | |||
| 851 | paravirt_ops.release_pt = vmi_release_pt; | 851 | paravirt_ops.release_pt = vmi_release_pt; |
| 852 | paravirt_ops.release_pd = vmi_release_pd; | 852 | paravirt_ops.release_pd = vmi_release_pd; |
| 853 | } | 853 | } |
| 854 | #if 0 | ||
| 854 | para_wrap(map_pt_hook, vmi_map_pt_hook, set_linear_mapping, | 855 | para_wrap(map_pt_hook, vmi_map_pt_hook, set_linear_mapping, |
| 855 | SetLinearMapping); | 856 | SetLinearMapping); |
| 857 | #endif | ||
| 856 | 858 | ||
| 857 | /* | 859 | /* |
| 858 | * These MUST always be patched. Don't support indirect jumps | 860 | * These MUST always be patched. Don't support indirect jumps |