os/kernel/timer_handler.c
2020-07-30 21:58:23 -05:00

15 lines
236 B
C

/**
* \file
*/
#include "tasking.h"
#include "cpu/isr.h"
/**
* Interrupt handler for the timer interrupt
* \param r The saved state of the CPU when the interrupt occured
*/
void timer_handler(registers_t* r) {
tasking_yield();
}