debug_ring.h File Reference

Go to the source code of this file.

Data Structures
class	debug_ring

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

Function Documentation

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 25 of file dummy_get_drr_failure.cpp.