tjh.dev / kernel
Linux kernel mirror (for testing) git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git
kernel os linux
fork atom
kernel / tools / verification / rv / include / in_kernel.h
at v6.13 124 B view raw
1// SPDX-License-Identifier: GPL-2.0 2int ikm_list_monitors(void); 3int ikm_run_monitor(char *monitor, int argc, char **argv);