6 /*===========================================================================*
8 *===========================================================================*/
9 int vm_exit(endpoint_t ep
)
14 memset(&m
, 0, sizeof(m
));
17 result
= _taskcall(VM_PROC_NR
, VM_EXIT
, &m
);
22 /*===========================================================================*
24 *===========================================================================*/
25 int vm_willexit(endpoint_t ep
)
30 memset(&m
, 0, sizeof(m
));
33 result
= _taskcall(VM_PROC_NR
, VM_WILLEXIT
, &m
);