Searched refs:rman_idx (Results 1 – 2 of 2) sorted by relevance
273 int rman_idx, res_idx; in devinfo_init_resources() local309 for (rman_idx = 0; rman_idx < 255; rman_idx++) { in devinfo_init_resources()314 oid[rman_ptr] = rman_idx; in devinfo_init_resources()322 warn("sysctl hw.bus.rman.%d", rman_idx); in devinfo_init_resources()352 rman_idx, res_idx); in devinfo_init_resources()366 debug("scanned %d resource managers", rman_idx); in devinfo_init_resources()
952 int rman_idx, res_idx; in sysctl_rman() local965 rman_idx = name[1]; in sysctl_rman()973 if (rman_idx-- == 0) in sysctl_rman()