| 1638 | } |
| 1639 | |
| 1640 | const char* get_context_device(context_t context, int idx) |
| 1641 | { |
| 1642 | ExecContext* exec_context = reinterpret_cast<ExecContext*>(context); |
| 1643 | |
| 1644 | return exec_context->GetDevice(idx); |
| 1645 | } |
| 1646 | |
| 1647 | int add_context_device(context_t context, const char* dev_name) |
| 1648 | { |