Searched refs:rman_idx (Results 1 – 2 of 2) sorted by last modified time
975 int rman_idx, res_idx; in sysctl_rman() local988 rman_idx = name[1]; in sysctl_rman()996 if (rman_idx-- == 0) in sysctl_rman()
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()