system-ppc.h
#ifndef __UM_SYSTEM_PPC_H
#define __UM_SYSTEM_PPC_H
#define _switch_to _ppc_switch_to
#include "asm/arch/system.h"
#undef _switch_to
#include "asm/system-generic.h"
#endif
#ifndef __UM_SYSTEM_PPC_H
#define __UM_SYSTEM_PPC_H
#define _switch_to _ppc_switch_to
#include "asm/arch/system.h"
#undef _switch_to
#include "asm/system-generic.h"
#endif