Sign in
android-kvm
/
linux
/
c6d64479d6093a5c3d709d4cc992a5344877cc3c
/
.
/
tools
/
verification
/
rv
/
include
/
in_kernel.h
blob: 3090638c8d7105fc486c85087c1e83febdadd3f0 [
file
] [
log
] [
blame
]
// SPDX-License-Identifier: GPL-2.0
int
ikm_list_monitors
(
void
);
int
ikm_run_monitor
(
char
*
monitor
,
int
argc
,
char
**
argv
);