#ifndef __MPC85XX_MP_H_
#define __MPC85XX_MP_H_

ulong get_spin_addr(void);
void setup_mp(void);
u32 get_my_id(void);

#endif