Searched refs:signal_domid (Results 1 – 1 of 1) sorted by relevance
446 signal_domid(domid_t domain_id) in signal_domid() function1053 signal_domid(ent->domain_id); in pending_notify()
Completed in 5 milliseconds