2014-09-22 20:10:57 +04:00
|
|
|
/* include/g/e.h
|
|
|
|
**
|
|
|
|
** This file is in the public domain.
|
|
|
|
*/
|
|
|
|
/** Functions.
|
|
|
|
**/
|
|
|
|
/* u3_ce_fault(): handle a memory event with libsigsegv protocol.
|
|
|
|
*/
|
2014-09-23 21:11:59 +04:00
|
|
|
c3_i
|
2014-09-22 20:10:57 +04:00
|
|
|
u3_ce_fault(void* adr_v, c3_i ser_i);
|
|
|
|
|
2014-09-23 21:11:59 +04:00
|
|
|
/* u3_ce_save():
|
2014-09-22 20:10:57 +04:00
|
|
|
*/
|
2014-09-23 21:11:59 +04:00
|
|
|
void
|
|
|
|
u3_ce_save(void);
|
2014-09-22 20:10:57 +04:00
|
|
|
|
2014-09-23 21:11:59 +04:00
|
|
|
/* u3_ce_boot(): start the memory system.
|
2014-09-22 20:10:57 +04:00
|
|
|
*/
|
2014-09-23 21:11:59 +04:00
|
|
|
void
|
2014-10-31 00:40:05 +03:00
|
|
|
u3_ce_boot(c3_o nuu_o, c3_o bug_o, c3_c* cpu_c);
|
2014-09-29 01:56:17 +04:00
|
|
|
|
|
|
|
/* u3_ce_init(): start the environment, with/without checkpointing.
|
|
|
|
*/
|
|
|
|
void
|
|
|
|
u3_ce_init(c3_o chk_o);
|
2014-10-09 06:20:57 +04:00
|
|
|
|
2014-10-12 10:40:31 +04:00
|
|
|
/* u3_ce_grab(): garbage-collect the world, plus extra roots.
|
2014-10-09 06:20:57 +04:00
|
|
|
*/
|
|
|
|
void
|
2014-10-12 10:40:31 +04:00
|
|
|
u3_ce_grab(c3_c* cap_c, u3_noun som, ...); // terminate with u3_none
|
2014-11-01 01:36:01 +03:00
|
|
|
|
2014-11-02 01:13:18 +03:00
|
|
|
/* u3_ce_dirty(): count dirty pages.
|
|
|
|
*/
|
|
|
|
c3_w
|
|
|
|
u3_ce_dirty(void);
|