Searched refs:domain_stop_pending (Results 1 - 2 of 2) sorted by relevance
| /barrelfish-master/usr/proc_mgmt/ | ||
| H A D | domain.h | 75 static inline void domain_stop_pending(struct domain_entry *entry) function |
| H A D | service.c | 553 domain_stop_pending(entry); |
Completed in 33 milliseconds