It shows c0800000 which is right because PPC is big endian, not little endian like x86. Order the fields the opposite way on PPC to produce the same value value as ia32. Thanks, Andrew Pinski