Searched refs:ivhd_count (Results 1 – 2 of 2) sorted by relevance
52 int ivhd_count; /* Number of IVHD header. */ variable136 ivhd_count++; in ivhd_count_iter()353 if (!ivhd_count) in ivhd_identify()356 for (i = 0; i < ivhd_count; i++) { in ivhd_identify()366 for (i = ivhd_count - 1 ; i > 0 ; i--){ in ivhd_identify()370 ivhd_count--; in ivhd_identify()376 for (i = 0; i < ivhd_count; i++) { in ivhd_identify()404 ivhd_count = count; in ivhd_identify()417 KASSERT((unit < ivhd_count), in ivhd_probe()418 ("ivhd unit %d > count %d", unit, ivhd_count)); in ivhd_probe()[all …]
77 extern int ivhd_count;78 SYSCTL_INT(_hw_vmm_amdvi, OID_AUTO, count, CTLFLAG_RDTUN, &ivhd_count,1021 if (!ivhd_count) { in amdvi_init()1024 if (!amdvi_enable_user && ivhd_count) { in amdvi_init()1027 ivhd_count); in amdvi_init()1060 for (i = 0; i < ivhd_count; i++) { in amdvi_do_inv_domain()1275 for (i = 0; i < ivhd_count; i++) { in amdvi_find_iommu()1390 for (i = 0; i < ivhd_count; i++) { in amdvi_enable()1424 for (i = 0; i < ivhd_count; i++) { in amdvi_disable()