#include <kernel.h>
#include <platform.h>
#include <interrupt.h>
#include <clock.h>
#include <queue.h>
Go to the source code of this file.
Definition in file clockinit.c.