Searched refs:kcov_file (Results 1 – 1 of 1) sorted by relevance
95 const char* kcov_file = "/sys/kernel/debug/kcov"; in test_kcov() local96 int fd = open(kcov_file, O_RDWR); in test_kcov()98 printf("KCOV: Could not open %s\n", kcov_file); in test_kcov()