#include "libgcc.h" | |
u64 __lshrdi3(u64 v, int cnt) | |
{ | |
int c = cnt & 31; | |
u32 vl = (u32) v; | |
u32 vh = (u32) (v >> 32); | |
if (cnt & 32) { | |
vl = (vh >> c); | |
vh = 0; | |
} else { | |
vl = (vl >> c) + (vh << (32 - c)); | |
vh = (vh >> c); | |
} | |
return ((u64) vh << 32) + vl; | |
} | |
EXPORT_SYMBOL(__lshrdi3); |