diff options
-rw-r--r-- | arch/x86/kernel/espfix_64.c | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/arch/x86/kernel/espfix_64.c b/arch/x86/kernel/espfix_64.c index 94d857fb1033..f5d0730e7b08 100644 --- a/arch/x86/kernel/espfix_64.c +++ b/arch/x86/kernel/espfix_64.c | |||
@@ -122,9 +122,6 @@ static void init_espfix_random(void) | |||
122 | void __init init_espfix_bsp(void) | 122 | void __init init_espfix_bsp(void) |
123 | { | 123 | { |
124 | pgd_t *pgd_p; | 124 | pgd_t *pgd_p; |
125 | pteval_t ptemask; | ||
126 | |||
127 | ptemask = __supported_pte_mask; | ||
128 | 125 | ||
129 | /* Install the espfix pud into the kernel page directory */ | 126 | /* Install the espfix pud into the kernel page directory */ |
130 | pgd_p = &init_level4_pgt[pgd_index(ESPFIX_BASE_ADDR)]; | 127 | pgd_p = &init_level4_pgt[pgd_index(ESPFIX_BASE_ADDR)]; |