forked from rumpkernel-attic/rumprun-xen
-
Notifications
You must be signed in to change notification settings - Fork 0
/
rumphyper_stubs.c
36 lines (26 loc) · 911 Bytes
/
rumphyper_stubs.c
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
#include <mini-os/console.h>
int ohcrap(void);
int ohcrap(void) {printk("rumphyper: unimplemented stub\n"); do_exit();}
int nothing(void); int nothing(void) {return 0;}
#define TIMETOPANIC(name) \
int name(void) __attribute__((alias("ohcrap")));
#define NOTHING(name) \
int name(void) __attribute__((alias("nothing")));
TIMETOPANIC(rumpuser_anonmmap);
TIMETOPANIC(rumpuser_unmap);
/* signals AND sp not supported */
TIMETOPANIC(rumpuser_kill);
NOTHING(rumpuser_sp_init);
NOTHING(rumpuser_sp_fini);
TIMETOPANIC(rumpuser_sp_raise);
TIMETOPANIC(rumpuser_sp_copyin);
TIMETOPANIC(rumpuser_sp_copyout);
TIMETOPANIC(rumpuser_sp_copyinstr);
TIMETOPANIC(rumpuser_sp_copyoutstr);
TIMETOPANIC(rumpuser_sp_anonmmap);
NOTHING(rumpuser_dl_bootstrap);
NOTHING(rumpuser_dl_globalsym);
NOTHING(rumpuser_daemonize_begin);
NOTHING(rumpuser_daemonize_done);
TIMETOPANIC(rumpuser_iovread);
TIMETOPANIC(rumpuser_iovwrite);