Searched defs:device_nbr (Results 1 – 2 of 2) sorted by relevance
12 void backchannel_sync_send(uint channel, uint device_nbr) in backchannel_sync_send()19 void backchannel_sync_wait(uint channel, uint device_nbr) in backchannel_sync_wait()
175 int device_nbr = bsim_args_get_global_device_nbr(); in edptd_create_fifo_if() local