Symbol: GET_SCALED_HRTIME