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);