addrmap IMX_GPTimer {

addrmap {
    desc = "Generated by RenodeModelsAnalyzer";
    reg {
        name="Control";
        regwidth=0x20;
            field {
                desc = "This field has the following custom Renode callbacks: Write.";
                sw = rw;
            } EN[0:0];
            field {
                desc = "The field is a Tag.";
                sw = rw;
            } ENMOD[1:1];
            field {
                desc = "The field is a Tag.";
                sw = rw;
            } DBGEN[2:2];
            field {
                desc = "The field is a Tag.";
                sw = rw;
            } WAITEN[3:3];
            field {
                desc = "The field is a Tag.";
                sw = rw;
            } DOZEEN[4:4];
            field {
                desc = "The field is a Tag.";
                sw = rw;
            } STOPEN[5:5];
            field {
                desc = "The field is a Tag.";
                sw = rw;
            } CLKSRC[8:6];
            field {
                sw = rw;
            } FRR[9:9];
            field {
                desc = "This field has the following custom Renode callbacks: Write.";
                sw = rw;
            } SWR[15:15];
            field {
                desc = "The field is a Tag.";
                sw = rw;
            } IM1[17:16];
            field {
                desc = "The field is a Tag.";
                sw = rw;
            } IM2[19:18];
            field {
                desc = "The field is a Tag.";
                sw = rw;
            } OM1[22:20];
            field {
                desc = "The field is a Tag.";
                sw = rw;
            } OM2[25:23];
            field {
                desc = "The field is a Tag.";
                sw = rw;
            } OM3[28:26];
            field {
                desc = "The field is a Tag.";
                sw = rw;
            } FO1[29:29];
            field {
                desc = "The field is a Tag.";
                sw = rw;
            } FO2[30:30];
            field {
                desc = "The field is a Tag.";
                sw = rw;
            } FO3[31:31];
    } Control @ 0x0;
    reg {
        name="Prescaler";
        regwidth=0x20;
            field {
                desc = "The field is a Tag.";
                sw = rw;
            } PRESCALER[11:0];
    } Prescaler @ 0x4;
    reg {
        name="Status";
        regwidth=0x20;
            field {
                desc = "This field has the following custom Renode callbacks: Write.";
                sw = rw;
                onwrite = woclr;
            } OFn[2:0];
            field {
                sw = rw;
                onwrite = woclr;
            } IF1[3:3];
            field {
                sw = rw;
                onwrite = woclr;
            } IF2[4:4];
            field {
                sw = rw;
                onwrite = woclr;
            } ROV[5:5];
    } Status @ 0x8;
    reg {
        name="Interrupt";
        regwidth=0x20;
            field {
                desc = "This field has the following custom Renode callbacks: Write.";
                sw = rw;
            } OFnIE[2:0];
            field {
                desc = "The field is a Tag.";
                sw = rw;
            } IF1IE[3:3];
            field {
                desc = "The field is a Tag.";
                sw = rw;
            } IF2IE[4:4];
            field {
                desc = "The field is a Tag.";
                sw = rw;
            } ROVIE[5:5];
    } Interrupt @ 0xc;
    reg {
        name="OutputCompare1";
        regwidth=0x20;
            field {
                desc = "This field has the following custom Renode callbacks: Write, Provider.";
                sw = rw;
            } COMPidx__1[31:0];
    } OutputCompare1 [3]@ 0x10 += 4;
    reg {
        name="InputCapture1";
        regwidth=0x20;
            field {
                desc = "The field is a Tag.";
                sw = rw;
            } CAPT[31:0];
    } InputCapture1 @ 0x1c;
    reg {
        name="InputCapture2";
        regwidth=0x20;
            field {
                desc = "The field is a Tag.";
                sw = rw;
            } CAPT[31:0];
    } InputCapture2 @ 0x20;
    reg {
        name="Count";
        regwidth=0x20;
            field {
                desc = "This field has the following custom Renode callbacks: Provider.";
                sw = r;
            } COUNT[31:0];
    } Count @ 0x24;
} Registers_addrmap;


};