| 1935 | } |
| 1936 | |
| 1937 | void wait(u32 ms) |
| 1938 | { |
| 1939 | WaitResult wr; |
| 1940 | wr.error = WaitResult::SUCCESS; |
| 1941 | |
| 1942 | m.lock(); |
| 1943 | while (!done && wr.error != WaitResult::TIMEOUT) |
| 1944 | wr = cv.wait(m, ms); |
| 1945 | m.unlock(); |
| 1946 | ENSURE(done); |
| 1947 | } |
| 1948 | |
| 1949 | static void callback(const char *begin, const char *end, void *user_data) |
| 1950 | { |
no test coverage detected