3 ms·Look up the x32 ABI for Linux. It's exactly that.by messe 10y agoLook up the x32 ABI for Linux. It's exactly that.