tod_clock
union tod_clock clk;
union tod_clock __bootdata_preserved(tod_clock_base);
store_tod_clock_ext((union tod_clock *)(seed + seedlen));
store_tod_clock_ext((union tod_clock *)diag0c_data->hdr.tod_ext);
union tod_clock tod_ext; /* TOD clock for d2fc */
union tod_clock clk;
extern union tod_clock tod_clock_base;
static inline int store_tod_clock_ext_cc(union tod_clock *clk)
static __always_inline void store_tod_clock_ext(union tod_clock *tod)
union tod_clock clk;
static void ext_to_timespec64(union tod_clock *clk, struct timespec64 *xt)
union tod_clock clk;
union tod_clock clk;
union tod_clock __bootdata_preserved(tod_clock_base);
union tod_clock clk;
union tod_clock clk;
union tod_clock clk;
static struct timespec64 eitod_to_timespec64(union tod_clock *clk)
union tod_clock tod;
union tod_clock clk;