Searched defs:machine_sbdf (Results 1 – 1 of 1) sorted by relevance
1514 uint32_t machine_sbdf, in xc_assign_device()1531 uint32_t machine_sbdf, in xc_get_device_group()1567 uint32_t machine_sbdf) in xc_test_assign_device()1583 uint32_t machine_sbdf) in xc_deassign_device()
Completed in 12 milliseconds