Symbol: __ikm_read_enable
tools/verification/rv/src/in_kernel.c
106
enabled = __ikm_read_enable(monitor_name);
tools/verification/rv/src/in_kernel.c
799
retval = __ikm_read_enable(full_name);