lume-legacy/include/kernel/timer.h


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

// SPDX-License-Identifier: GPL-2.0-or-later
/*
 * Copyright (C) 2026 Richard QIn
 */

#include "common/types.h"

namespace Timer{
    uint64 get_time();
    void set_next_trigger();
    void init();

    void tick();
    uint64 get_ticks();
    Spinlock *get_lock();
    void *get_tick_chan();
}