Some platforms use the same name for 32-bit and 64-bit registers (like