Searched refs:global_device_nbr (Results 1 – 1 of 1) sorted by relevance
34 uint global_device_nbr; variable55 bs_trace_set_prefix_dev(global_args.global_device_nbr); in cmd_gdev_nbr_found()261 if (global_args.global_device_nbr == UINT_MAX) { in postcheck_cmd_line()262 global_args.global_device_nbr = global_args.device_nbr; in postcheck_cmd_line()263 bs_trace_set_prefix_dev(global_args.global_device_nbr); in postcheck_cmd_line()265 global_device_nbr = global_args.global_device_nbr; in postcheck_cmd_line()299 return global_args.global_device_nbr; in bsim_args_get_global_device_nbr()
