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

vcpuid	defines which debug ring to return
drr	the resulting debug ring

Returns

the debug_ring_resources_t for the provided vcpuid

Definition at line 27 of file dummy_get_drr_success.cpp.