Summary: gcc expects clean 32 bit int in 64 bit register on function entry
Reviewed-by: kvn, dlong