EMILE/second/switch_to_PPC.h

26 lines
410 B
C
Raw Normal View History

/*
*
* (c) 2005-2007 Laurent Vivier <Laurent@lvivier.info>
*
* Some parts from bootX, (c) BenH
*
*/
#ifndef __SWITH_TO_PPC_H__
#define __SWITH_TO_PPC_H__
#include "misc.h"
typedef u_int32_t float_reg_t[2];
typedef struct PPCRegisterList
{
u_int32_t PC;
u_int32_t GPR[32];
float_reg_t FPR[32];
} PPCRegisterList;
extern void switch_to_PPC(PPCRegisterList* regs);
#endif /* __SWITH_TO_PPC_H__ */