| 406 | } |
| 407 | |
| 408 | void Device::execute(bool join, const std::function<void()>& func) |
| 409 | { |
| 410 | #if USE_TASK_ARENA |
| 411 | if (join) { |
| 412 | arena->arena->execute(func); |
| 413 | } |
| 414 | else |
| 415 | #endif |
| 416 | { |
| 417 | func(); |
| 418 | } |
| 419 | } |
| 420 | |
| 421 | void Device::setProperty(const RTCDeviceProperty prop, ssize_t val) |
| 422 | { |