__read_persistent_clock
static clock_access_fn __read_persistent_clock = dummy_clock_access;
__read_persistent_clock(ts);
if (__read_persistent_clock == dummy_clock_access) {
__read_persistent_clock = read_persistent;
__read_persistent_clock(ts);