x86/mm/init: Add helper for freeing kernel image pages
[linux-2.6-microblaze.git] / arch / x86 / include / asm / processor.h
index cfd29ee..59663c0 100644 (file)
@@ -966,6 +966,7 @@ static inline uint32_t hypervisor_cpuid_base(const char *sig, uint32_t leaves)
 
 extern unsigned long arch_align_stack(unsigned long sp);
 extern void free_init_pages(char *what, unsigned long begin, unsigned long end);
+extern void free_kernel_image_pages(void *begin, void *end);
 
 void default_idle(void);
 #ifdef CONFIG_XEN