bfdrivers
dummy_get_drr_success
dummy_get_drr_success.cpp
Go to the documentation of this file.
1
//
2
// Bareflank Hypervisor
3
//
4
// Copyright (C) 2015 Assured Information Security, Inc.
5
// Author: Rian Quinn <quinnr@ainfosec.com>
6
// Author: Brendan Kerrigan <kerriganb@ainfosec.com>
7
//
8
// This library is free software; you can redistribute it and/or
9
// modify it under the terms of the GNU Lesser General Public
10
// License as published by the Free Software Foundation; either
11
// version 2.1 of the License, or (at your option) any later version.
12
//
13
// This library is distributed in the hope that it will be useful,
14
// but WITHOUT ANY WARRANTY; without even the implied warranty of
15
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
16
// Lesser General Public License for more details.
17
//
18
// You should have received a copy of the GNU Lesser General Public
19
// License along with this library; if not, write to the Free Software
20
// Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
21
22
#include <
debug_ring_interface.h
>
23
24
int64_t
return_success
();
25
26
extern
"C"
int64_t
27
get_drr
(uint64_t
vcpuid
,
struct
debug_ring_resources_t
**
drr
)
28
{
29
(void) vcpuid;
30
(void) drr;
31
32
return
return_success
();
33
}
return_success
int64_t return_success()
Definition:
dummy_misc.cpp:27
vcpuid
Definition:
vcpuid.h:29
drr
debug_ring_resources_t * drr
Definition:
test_debug_ring.cpp:27
debug_ring_interface.h
get_drr
int64_t get_drr(uint64_t vcpuid, struct debug_ring_resources_t **drr)
Definition:
dummy_get_drr_success.cpp:27
debug_ring_resources_t
Definition:
debug_ring_interface.h:95
Generated on Fri Apr 28 2017 22:11:37 by
1.8.14