hda_get_clock_ns
static uint64_t hda_get_clock_ns(void);
sc->wall_clock_start = hda_get_clock_ns();
return (24 * (hda_get_clock_ns() - \