Searched refs:dev_cnt (Results 1 – 4 of 4) sorted by relevance
40 static int dev_cnt = 0; /* Count of /dev/acrn_trace_xxx devices */ variable354 dev_cnt = get_dev_cnt(); in main()355 if (dev_cnt == 0) { in main()363 cpu_bitmask = numa_bitmask_alloc(dev_cnt); in main()368 reader = calloc(1, sizeof(reader_struct) * dev_cnt); in main()
46 for ((dev_id) = 0; (dev_id) < (dev_cnt); (dev_id)++)
53 .dev_cnt = DRHD0_DEV_CNT,61 .dev_cnt = DRHD1_DEV_CNT,
66 dev_cnt = drhd_dev_scope_cnt[i_drhd_cnt]69 for i_dev_cnt in range(dev_cnt):
Completed in 8 milliseconds