BarinkOS/kernel/timer.h

6 lines
96 B
C

#pragma once
#include <stddef.h>
#include <stdint-gcc.h>
void init_timer (uint32_t frequency);