/*
 *
 * (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__ */