Sign in
android-kvm
/
linux
/
880799fc7a3a127c43143935c1a8767d77c19cae
/
.
/
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
);