Searched defs:device_nbr (Results 1 – 5 of 5) 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()
28 void device_sync_init(uint device_nbr) in device_sync_init()
31 void device_sync_init(uint device_nbr) in device_sync_init()
175 int device_nbr = bsim_args_get_global_device_nbr(); in edptd_create_fifo_if() local
