EMILE/second/enter_kernelPPC.h
2006-12-29 20:28:28 +00:00

26 lines
408 B
C

/*
*
* (c) 2005 Laurent Vivier <Laurent@lvivier.info>
*
* Some parts from bootX, (c) BenH
*
*/
#ifndef __ENTER_KERNELPPC_H__
#define __ENTER_KERNELPPC_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 enter_kernelPPC(unsigned long addr, PPCRegisterList* regs);
#endif