X32 is a 32-bit psABI for x86-64 with 32-bit pointer size. More info can be found at: https://sites.google.com/site/x32abi/