long sys32_lookup_dcookie(unsigned long cookie_high, unsigned long cookie_low, char __user *buf, size_t len) { return sys_lookup_dcookie((cookie_high << 32) | cookie_low, buf, len); }
long compat_sys_lookup_dcookie(u32 low, u32 high, char __user *buf, size_t len) { return sys_lookup_dcookie(((loff_t)high << 32) | low, buf, len); }
long sys32_lookup_dcookie(u32 cookie_high, u32 cookie_low, char __user *buf, size_t len) { return sys_lookup_dcookie((u64)cookie_high << 32 | cookie_low, buf, len); }
asmlinkage long compat_sys_lookup_dcookie(u32 cookie_high, u32 cookie_low, char __user * buf, size_t len) { u64 cookie64 = ((u64)cookie_high<<32) | ((u64)cookie_low & 0xffffffff); return sys_lookup_dcookie(cookie64, buf, len); }