Merge branch 'master'
[linux-flexiantxendom0-3.2.10.git] / include / linux / kernel.h
index 2ae5027..c217e99 100644 (file)
@@ -125,6 +125,7 @@ extern int get_option(char **str, int *pint);
 extern char *get_options(const char *str, int nints, int *ints);
 extern unsigned long long memparse(char *ptr, char **retptr);
 
+extern int core_kernel_text(unsigned long addr);
 extern int __kernel_text_address(unsigned long addr);
 extern int kernel_text_address(unsigned long addr);
 extern int session_of_pgrp(int pgrp);