__time_travel_wait_readable
void __time_travel_wait_readable(int fd);
__time_travel_wait_readable(fd);
EXPORT_SYMBOL_GPL(__time_travel_wait_readable);