vdso_read_retry
} while (unlikely(vdso_read_retry(vc, seq)));
} while (unlikely(vdso_read_retry(vc, seq)));
} while (unlikely(vdso_read_retry(vc, seq)));
} while (unlikely(vdso_read_retry(vc, seq)));
} while (unlikely(vdso_read_retry(vc, seq)));