2008-05-19 01:39:23 +02:00
|
|
|
void do_raise_exception_err(int excp, int err);
|
|
|
|
|
void do_raise_exception(int excp);
|
|
|
|
|
void do_interrupt_restart (void);
|
2008-05-21 04:04:15 +02:00
|
|
|
|
|
|
|
|
void do_clo (void);
|
|
|
|
|
void do_clz (void);
|
|
|
|
|
void do_dclo (void);
|
|
|
|
|
void do_dclz (void);
|
