entry.h File Reference

Go to the source code of this file.

Typedefs
typedef int64_t(*	execute_entry_t) (uint64_t stack, void *func, uint64_t arg1, uint64_t arg2)

Typedef Documentation

execute_entry_t

typedef int64_t(* execute_entry_t) (uint64_t stack, void *func, uint64_t arg1, uint64_t arg2)

Execute Entry Point

This typedef defines the function that is used to execute other entry points. Note that there are several types of entry points. For example, add_mdl, get_drr, start_vmm and stop_vmm are all entry points and they have different parameter types. As a result, this function has to be written generically to support all of them

Precondition

expects: stack != 0

expects: func != nullptr

Postcondition

ensures: none

Parameters

stack	the stack to use when executing the entry point
func	the entry point to call
arg1	the first argument to the entry point
arg2	the second argument to the entry point

Returns

the return value of the entry point

Definition at line 55 of file entry.h.