GET_SCALED_HRTIME
tod = GET_SCALED_HRTIME();
refreshq[refreshq_next_slot].last_fetch_time = GET_SCALED_HRTIME();
elapsed = GET_SCALED_HRTIME() -
now = GET_SCALED_HRTIME();
now = GET_SCALED_HRTIME();