Symbol: ikm_write_enable
tools/verification/rv/src/in_kernel.c
144
return ikm_write_enable(monitor_name, "1");
tools/verification/rv/src/in_kernel.c
154
return ikm_write_enable(monitor_name, "0");