entry.cpp File Reference

Go to the source code of this file.

Functions
user_data *	__attribute__ ((weak)) pre_create_vcpu(vcpuid
int64_t	start_vmm (uint64_t arg) noexcept
int64_t	stop_vmm (uint64_t arg) noexcept

Function Documentation

__attribute__()

user_data* __attribute__

(

(weak)

)

Definition at line 33 of file entry.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 41 of file entry.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 68 of file entry.cpp.