137 	int		 bnum;  member
369 	int	bnum;  member
458 	int	bnum;  member
470 	int bnum, core_id, strand_id;  in drmach_cpu_cb()  local
544 drmach_add_remove_cpu(int bnum, int core_id, int option)  in drmach_add_remove_cpu()
571 	int bnum;  in drmach_setup_core_cb()  local
923 drmach_get_board_by_bnum(int bnum)  in drmach_get_board_by_bnum()
1031 drmach_board_new(int bnum, int boot_board)  in drmach_board_new()
1169 		int		 bnum;  in drmach_init()  local
1363 drmach_board_assign(int bnum, drmachid_t *id)  in drmach_board_assign()
1452 	int i, bnum;  in drmach_disconnect_cpus()  local
1591 	int		bnum;  in drmach_board_find_devices_cb()  local
1703 drmach_board_lookup(int bnum, drmachid_t *id)  in drmach_board_lookup()
1717 drmach_board_name(int bnum, char *buf, int buflen)  in drmach_board_name()
2739 	int bnum, cpuid, onb_core_num, strand_id;  in drmach_cpu_poweron()  local
2819 		int bnum, onb_core_num, strand_id;  in drmach_cpu_poweroff()  local