guint64 __attribute__((__stdcall__)) __attribute__((__regparm__(3))) _allshl(
guint32 long_00to31, /* %eax */
guint32 long_32to63, /* %edx */
- guint32 count) /* %ecx */
+ guint8 count) /* %ecx */
{
return (((((guint64)long_32to63)<<32U)|long_00to31)<<count);
}
guint64 __attribute__((__stdcall__)) __attribute__((__regparm__(3))) _allshr(
guint32 long_00to31, /* %eax */
guint32 long_32to63, /* %edx */
- guint32 count) /* %ecx */
+ guint8 count) /* %ecx */
{
return (((((gint64)long_32to63)<<32U)|long_00to31)>>count);
}
guint64 __attribute__((__stdcall__)) __attribute__((__regparm__(3))) _aullshr(
guint32 long_00to31, /* %eax */
guint32 long_32to63, /* %edx */
- guint32 count) /* %ecx */
+ guint8 count) /* %ecx */
{
return (((((guint64)long_32to63)<<32U)|long_00to31)>>count);
}