#ifndef POKEDIAMOND_ARM7_OS_TIMER_H
#define POKEDIAMOND_ARM7_OS_TIMER_H

#include "nitro/OS_timer_shared.h"
#include "nitro/types.h"

void OSi_SetTimerReserved(s32 timerNum);

#endif //POKEDIAMOND_ARM7_OS_TIMER_H
