Searched refs:isAvailable (Results 1 - 1 of 1) sorted by relevance

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A Dbasicio.cpp220 static bool isAvailable(TaskData *taskData, PIOSTRUCT strm) function
250 static bool isAvailable(TaskData *taskData, PIOSTRUCT strm) function
517 if (isAvailable(taskData, strm))
583 if (isAvailable(taskData, strm))
858 if ((bits & POLL_BIT_IN) && isRead(strm) && isAvailable(taskData, strm))
1529 return Make_fixed_precision(taskData, isAvailable(taskData, str) ? 1 : 0);
1589 if (isAvailable(taskData, str))

Completed in 31 milliseconds