kernel/drivers/timer.h

#pragma once

#include <common.h>

void init_timer(uint32_t frequency);

uint32_t get_tick();
IRQs & experimental PTI timer support 2018-09-07 13:49:25 -04:00			`#pragma once`

Add panic(); extract GCC __attribute__ usage 2018-09-25 00:37:34 -04:00			`#include <common.h>`
IRQs & experimental PTI timer support 2018-09-07 13:49:25 -04:00
			`void init_timer(uint32_t frequency);`
Some improvements to int/irqs I guess 2018-09-07 15:21:15 -04:00
			`uint32_t get_tick();`