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