Searched refs:active_phase (Results 1 - 1 of 1) sorted by relevance
| /barrelfish-master/usr/monitor/ | ||
| H A D | resource_ctrl.c | 34 int active_phase; member in struct:rsrc_domain 101 d->active_phase, (uint8_t *)&d->phase, 319 d->active_phase = phase; |
Completed in 49 milliseconds