Home
last modified time | relevance | path

Searched refs:stop_rv (Results 1 – 1 of 1) sorted by relevance

/linux/tools/verification/rv/src/
H A Drv.c22 static void stop_rv(int sig) in stop_rv() function
181 signal(SIGINT, stop_rv); in main()