141 	int		 bnum;  member
373 	int	bnum;  member
462 	int	bnum;  member
474 	int bnum, core_id, strand_id;  in drmach_cpu_cb()  local
548 drmach_add_remove_cpu(int bnum, int core_id, int option)  in drmach_add_remove_cpu()
575 	int bnum;  in drmach_setup_core_cb()  local
927 drmach_get_board_by_bnum(int bnum)  in drmach_get_board_by_bnum()
1035 drmach_board_new(int bnum, int boot_board)  in drmach_board_new()
1173 		int		 bnum;  in drmach_init()  local
1367 drmach_board_assign(int bnum, drmachid_t *id)  in drmach_board_assign()
1456 	int i, bnum;  in drmach_disconnect_cpus()  local
1595 	int		bnum;  in drmach_board_find_devices_cb()  local
1707 drmach_board_lookup(int bnum, drmachid_t *id)  in drmach_board_lookup()
1721 drmach_board_name(int bnum, char *buf, int buflen)  in drmach_board_name()
2742 	int bnum, cpuid, onb_core_num, strand_id;  in drmach_cpu_poweron()  local
2822 		int bnum, onb_core_num, strand_id;  in drmach_cpu_poweroff()  local