timer_i.h

Go to the documentation of this file.

// AUTOMATICALLY GENERATED -- DO NOT EDIT!         -*- c++ -*-

#ifndef timer_i_h
#define timer_i_h

#include "irq_alloc.h"
#include "pit.h"

#include <cstdio>

#endif // timer_i_h

---