__get_user_64t_4  144 arch/arm/include/asm/uaccess.h extern int __get_user_64t_4(void *);
__get_user_64t_4  111 arch/arm/kernel/armksyms.c EXPORT_SYMBOL(__get_user_64t_4);