*/
int MSG_vm_is_created(msg_vm_t vm)
{
- return __MSG_vm_is_state(vm, msg_vm_state_created);
+ return __MSG_vm_is_state(vm, vm_state_created);
}
/** @brief Returns whether the given VM is currently running
*/
int MSG_vm_is_running(msg_vm_t vm)
{
- return __MSG_vm_is_state(vm, msg_vm_state_running);
+ return __MSG_vm_is_state(vm, vm_state_running);
}
/** @brief Returns whether the given VM is currently migrating
*/
int MSG_vm_is_migrating(msg_vm_t vm)
{
- return __MSG_vm_is_state(vm, msg_vm_state_migrating);
+ return __MSG_vm_is_state(vm, vm_state_migrating);
}
/** @brief Returns whether the given VM is currently suspended, not running.
*/
int MSG_vm_is_suspended(msg_vm_t vm)
{
- return __MSG_vm_is_state(vm, msg_vm_state_suspended);
+ return __MSG_vm_is_state(vm, vm_state_suspended);
}
/** @brief Returns whether the given VM is being saved (FIXME: live saving or not?).
*/
int MSG_vm_is_saving(msg_vm_t vm)
{
- return __MSG_vm_is_state(vm, msg_vm_state_saving);
+ return __MSG_vm_is_state(vm, vm_state_saving);
}
/** @brief Returns whether the given VM has been saved, not running.
*/
int MSG_vm_is_saved(msg_vm_t vm)
{
- return __MSG_vm_is_state(vm, msg_vm_state_saved);
+ return __MSG_vm_is_state(vm, vm_state_saved);
}
/** @brief Returns whether the given VM is being restored, not running.
*/
int MSG_vm_is_restoring(msg_vm_t vm)
{
- return __MSG_vm_is_state(vm, msg_vm_state_restoring);
+ return __MSG_vm_is_state(vm, vm_state_restoring);
}