1 // SPDX-License-Identifier: GPL-2.0 1 // SPDX-License-Identifier: GPL-2.0 2 int ikm_list_monitors(void); 2 int ikm_list_monitors(void); 3 int ikm_run_monitor(char *monitor, int argc, c 3 int ikm_run_monitor(char *monitor, int argc, char **argv); 4 4
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.