Searched refs:idn_mark_awol (Results 1 – 1 of 1) sorted by relevance
84 static int idn_mark_awol(int domid, clock_t *atime);9140 idn_mark_awol(int domid, clock_t *atime) in idn_mark_awol() function9291 awolcount = idn_mark_awol(domid, &awol); in idn_timer_expired()9365 awolcount = idn_mark_awol(domid, &awol); in idn_timer_expired()9394 awolcount = idn_mark_awol(domid, &awol); in idn_timer_expired()9411 awolcount = idn_mark_awol(domid, &awol); in idn_timer_expired()