Functions
dummy_get_drr_success.cpp File Reference

Go to the source code of this file.

Functions

int64_t return_success ()
 
int64_t get_drr (uint64_t vcpuid, struct debug_ring_resources_t **drr)
 

Function Documentation

◆ return_success()

int64_t return_success ( )

Definition at line 27 of file dummy_misc.cpp.

◆ get_drr()

int64_t get_drr ( uint64_t  vcpuid,
struct debug_ring_resources_t **  drr 
)
noexcept

Get Debug Ring Resource

Returns a pointer to a debug_ring_resources_t for a given CPU.

Precondition
expects: drr != nullptr
expects: vcpuid == vcpu that exists
Postcondition
ensures: none
Parameters
vcpuiddefines which debug ring to return
drrthe resulting debug ring
Returns
the debug_ring_resources_t for the provided vcpuid

Definition at line 27 of file dummy_get_drr_success.cpp.