#ifndef NITRO_OS_TIMER_H
#define NITRO_OS_TIMER_H

#include <nitro/os/common/timer_shared.h>
#include <nitro/types.h>

void OSi_SetTimerReserved(s32 timerNum);

#endif //NITRO_OS_TIMER_H