sys_lookup_dcookie 828 arch/x86/ia32/sys_ia32.c return sys_lookup_dcookie(((u64)addr_high << 32) | addr_low, buf, len); sys_lookup_dcookie 396 include/linux/syscalls.h asmlinkage long sys_lookup_dcookie(u64 cookie64, char __user *buf, size_t len);