あ、
DWORDLONG Int64ShrlMod32(Value, ShiftCount);

というのがありますね。
これは64bit値で、構造体とはまた違いますが、
これはどうやって返してるんでしょうか？
EDXとEAXでしょうか。

では64bit以上の値はどうなるんでしょう？