int maxsize; char maxsize_[PAD_(int)];
int * marker; char marker_[PAD_(int *)];
};
-struct upc_register_args {
-#ifdef _KERNEL
- struct sysmsg sysmsg;
-#endif
- struct upcall * upc; char upc_[PAD_(struct upcall *)];
- void * ctxfunc; char ctxfunc_[PAD_(void *)];
- void * func; char func_[PAD_(void *)];
- void * data; char data_[PAD_(void *)];
-};
-struct upc_control_args {
-#ifdef _KERNEL
- struct sysmsg sysmsg;
-#endif
- int cmd; char cmd_[PAD_(int)];
- int upcid; char upcid_[PAD_(int)];
- void * data; char data_[PAD_(void *)];
-};
struct exec_sys_register_args {
#ifdef _KERNEL
struct sysmsg sysmsg;
int sys_varsym_set (struct varsym_set_args *);
int sys_varsym_get (struct varsym_get_args *);
int sys_varsym_list (struct varsym_list_args *);
-int sys_upc_register (struct upc_register_args *);
-int sys_upc_control (struct upc_control_args *);
int sys_exec_sys_register (struct exec_sys_register_args *);
int sys_exec_sys_unregister (struct exec_sys_unregister_args *);
int sys_sys_checkpoint (struct sys_checkpoint_args *);