#ifndef LIBULTRA_TIMERINTR_H
#define LIBULTRA_TIMERINTR_H

#include "types.h"

extern void __osTimerServicesInit(void);

#endif