--- arch/x86/kernel/setup.c

+++ arch/x86/kernel/setup.c

@@ -294,9 +294,6 @@ static void __init init_gbpages(void)

static inline void init_gbpages(void)

{

}

-static void __init cleanup_highmap(void)

-{

-}

#endif

static void __init reserve_brk(void)

@@ -924,8 +921,6 @@ void __init setup_arch(char **cmdline_p)

reserve_brk();

- cleanup_highmap();

-

init_gbpages();

/* max_pfn_mapped is updated here */