Searched refs:wakeup (Results 1 – 2 of 2) sorted by relevance
892 int wakeup; in wrl_check_timeout() local912 wakeup = MIN( num / denom /* uint64_t */, INT_MAX ); in wrl_check_timeout()913 if (*ptimeout==-1 || wakeup < *ptimeout) in wrl_check_timeout()914 *ptimeout = wakeup; in wrl_check_timeout()919 wakeup); in wrl_check_timeout()
135 8. How to wakeup blocked vCPU when an interrupt is posted for it (wakeup notification handler).231 wakeup the blocked vCPU, please refer to later section in this design for271 - How to wakeup blocked vCPU when an interrupt is posted for it (wakeup notification handler).281 case is that vCPU0 will never be woken up again since the wakeup event289 can do something in it, such as wakeup the blocked vCPU.
Completed in 4 milliseconds