dummy_stop_vmm_success.cpp File Reference

Go to the source code of this file.

Functions
int64_t	return_success ()
int64_t	stop_vmm (uint64_t arg)

Function Documentation

return_success()

int64_t return_success

(

)

Definition at line 27 of file dummy_misc.cpp.

stop_vmm()

int64_t stop_vmm ( uint64_t  arg )

noexcept

Stop VMM

This function stops the VMM. The driver entry uses the ELF loader to call this "C" function from the kernel. Prior to executing this function, a new stack is provided, and all exceptions are caught prior to completing. To stop the VMM, this function calls the vcpu_manager's stop function, which begins the processing of stopping the vmm.

Precondition

expects: none

Postcondition

ensures: none

Parameters

arg	unused (likely will contain the cpu's core # in the future)

Returns

ENTRY_SUCCESS on success, ENTRY_ERROR_UNKNOWN otherwise.

Definition at line 27 of file dummy_stop_vmm_success.cpp.