// MIT License, Copyright (c) 2020 Marvin Borner

#ifndef TIMER_H
#define TIMER_H

#include <def.h>
#include <interrupts.h>

u32 timer_get(void);
void timer_wait(u32 ticks);
void timer_install(void);
void timer_handler(struct regs *r);

void scheduler_enable(void);
void scheduler_disable(void);

#endif