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