Searched refs:rman_idx (Results 1 – 2 of 2) sorted by relevance
253 int rman_idx, res_idx; in devinfo_init_resources() local289 for (rman_idx = 0; rman_idx < 255; rman_idx++) { in devinfo_init_resources()294 oid[rman_ptr] = rman_idx; in devinfo_init_resources()302 warn("sysctl hw.bus.rman.%d", rman_idx); in devinfo_init_resources()332 rman_idx, res_idx); in devinfo_init_resources()346 debug("scanned %d resource managers", rman_idx); in devinfo_init_resources()
650 int rman_idx, res_idx; in sysctl_rman() local662 rman_idx = name[1]; in sysctl_rman()672 if (rman_idx-- == 0) in sysctl_rman()