// Copyright 2020 The Division Authors.

//

// Licensed under the Apache License, Version 2.0 (the "License");

// you may not use this file except in compliance with the License.

// You may obtain a copy of the License at

//

// https://www.apache.org/licenses/LICENSE-2.0

//

// Unless required by applicable law or agreed to in writing, software

// distributed under the License is distributed on an "AS IS" BASIS,

// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.

// See the License for the specific language governing permissions and

// limitations under the License.

// Author dietoad@gmail.com && firedtoad@gmail.com

#ifndef SKYNET_TIMER_H

#define SKYNET_TIMER_H

#include <stdint.h>

int skynet_timeout(uint32_t handle, int time, int session);

void skynet_updatetime(void);

uint32_t skynet_starttime(void);

uint64_t skynet_thread_time(void); // for profile, in micro second

void skynet_timer_init(void);

#endif