93 |
/* Hypervisor C3600 initialization */ |
/* Hypervisor C3600 initialization */ |
94 |
extern int hypervisor_c3600_init(void); |
extern int hypervisor_c3600_init(void); |
95 |
|
|
96 |
|
/* Hypervisor C2691 initialization */ |
97 |
|
extern int hypervisor_c2691_init(void); |
98 |
|
|
99 |
|
/* Hypervisor C3725 initialization */ |
100 |
|
extern int hypervisor_c3725_init(void); |
101 |
|
|
102 |
|
/* Hypervisor C3745 initialization */ |
103 |
|
extern int hypervisor_c3745_init(void); |
104 |
|
|
105 |
/* Send a reply */ |
/* Send a reply */ |
106 |
int hypervisor_send_reply(hypervisor_conn_t *conn,int code,int done, |
int hypervisor_send_reply(hypervisor_conn_t *conn,int code,int done, |
107 |
char *format,...); |
char *format,...); |