dummy_start_vmm_success.cpp File Reference

Go to the source code of this file.

Functions
int64_t	return_success ()
int64_t	start_vmm (uint64_t arg)

Function Documentation

return_success()

int64_t return_success

(

)

Definition at line 27 of file dummy_misc.cpp.

start_vmm()

int64_t start_vmm ( uint64_t  arg )

noexcept

Start VMM

This function starts 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 start the VMM, this function calls the vcpu_manager's start function, which begins the processing of starting 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_start_vmm_success.cpp.