2014-08-28 16:56:48 +08:00
|
|
|
#ifndef __CORECOM_H
|
|
|
|
#define __CORECOM_H
|
|
|
|
|
2014-09-21 23:36:10 +08:00
|
|
|
enum {
|
|
|
|
KERNEL_RUN_FINISHED,
|
|
|
|
KERNEL_RUN_EXCEPTION,
|
|
|
|
KERNEL_RUN_STARTUP_FAILED
|
|
|
|
};
|
|
|
|
|
2014-09-15 22:40:33 +08:00
|
|
|
typedef int (*object_loader)(void *, int);
|
2014-09-21 23:36:10 +08:00
|
|
|
typedef int (*kernel_runner)(const char *, int *);
|
2014-09-15 22:40:33 +08:00
|
|
|
|
|
|
|
void corecom_serve(object_loader load_object, kernel_runner run_kernel);
|
|
|
|
int corecom_rpc(int rpc_num, int n_args, ...);
|
|
|
|
void corecom_log(const char *fmt, ...);
|
2014-08-28 16:56:48 +08:00
|
|
|
|
|
|
|
#endif /* __CORECOM_H */
|