|
@@ -122,9 +122,6 @@ static void init_espfix_random(void)
|
|
void __init init_espfix_bsp(void)
|
|
void __init init_espfix_bsp(void)
|
|
{
|
|
{
|
|
pgd_t *pgd_p;
|
|
pgd_t *pgd_p;
|
|
- pteval_t ptemask;
|
|
|
|
-
|
|
|
|
- ptemask = __supported_pte_mask;
|
|
|
|
|
|
|
|
/* Install the espfix pud into the kernel page directory */
|
|
/* Install the espfix pud into the kernel page directory */
|
|
pgd_p = &init_level4_pgt[pgd_index(ESPFIX_BASE_ADDR)];
|
|
pgd_p = &init_level4_pgt[pgd_index(ESPFIX_BASE_ADDR)];
|