EMILE/second/enter_kernelPPC.h

26 lines
459 B
C
Raw Normal View History

2005-05-13 17:23:42 +00:00
/*
*
* (c) 2005 Laurent Vivier <LaurentVivier@wanadoo.fr>
*
* Some parts from bootX, (c) BenH
*
*/
#ifndef __ENTER_KERNELPPC_H__
#define __ENTER_KERNELPPC_H__
#include "misc.h"
2005-05-13 22:01:41 +00:00
typedef u_int32_t float_reg_t[2] __attribute__((packed));
2005-05-13 17:23:42 +00:00
typedef struct PPCRegisterList
{
u_int32_t PC;
u_int32_t GPR[32];
float_reg_t FPR[32];
} PPCRegisterList __attribute__((packed));
extern void enter_kernelPPC(unsigned long addr, PPCRegisterList* regs);
#endif