#include "test_user.h"

int testTimerIntFlg[2][4];
int testCh2CapValue[2];
int testCh3CapValue[2];
int testGpioBValue[2];

int timer_interrupt_flag_get(int timer_periph, int interrupt)
{
    return testTimerIntFlg[timer_periph][interrupt];
}

void timer_interrupt_flag_clear(int timer_periph, int interrupt)
{
    testTimerIntFlg[timer_periph][interrupt] = 0;
}