Searched refs:disk_opencount (Results 1 – 1 of 1) sorted by relevance
53 int disk_opencount; variable75 if (disk_opencount == 0) { in disk_open()88 disk_opencount++; in disk_open()101 printf("disk_close: ocnt=%d\n", disk_opencount); in disk_close()106 if (disk_opencount <= 0) in disk_close()108 if (--disk_opencount == 0) in disk_close()