6 /*===========================================================================*
8 *===========================================================================*/
9 PUBLIC
int vm_exit(endpoint_t ep
)
16 result
= _taskcall(VM_PROC_NR
, VM_EXIT
, &m
);
21 /*===========================================================================*
23 *===========================================================================*/
24 PUBLIC
int vm_willexit(endpoint_t ep
)
31 result
= _taskcall(VM_PROC_NR
, VM_WILLEXIT
, &m
);