Searched refs:host_curr_device (Results 1 – 1 of 1) sorted by relevance
13 static int host_curr_device = -1; variable114 if (host_curr_device < 0) { in do_host_dev()118 printf("Current host device %d\n", host_curr_device); in do_host_dev()138 host_curr_device = dev; in do_host_dev()