Edit: switch_ppc_aix.h