2015-04-03 17:44:56 +08:00
|
|
|
#ifndef __KERNELCPU_H
|
|
|
|
|
#define __KERNELCPU_H
|
|
|
|
|
|
|
|
|
|
#include <hw/common.h>
|
|
|
|
|
|
|
|
|
|
#define KERNELCPU_EXEC_ADDRESS 0x40020000
|
2015-04-04 22:08:32 +08:00
|
|
|
#define KERNELCPU_PAYLOAD_ADDRESS 0x40024000
|
2015-04-03 17:44:56 +08:00
|
|
|
|
|
|
|
|
#define KERNELCPU_MAILBOX MMPTR(0xd0000000)
|
|
|
|
|
|
2015-04-04 22:08:32 +08:00
|
|
|
void kernelcpu_start(void *addr);
|
2015-04-03 17:44:56 +08:00
|
|
|
void kernelcpu_stop(void);
|
|
|
|
|
|
|
|
|
|
#endif /* __KERNELCPU_H */
|
