addrmap NXP_OsTimer {

addrmap {
    desc = "Generated by RenodeModelsAnalyzer";
    reg {
        name="EventTimerLow";
        regwidth=0x20;
            field {
                desc = "This field has the following custom Renode callbacks: Provider.";
                sw = r;
            } No_name_1[31:0];
    } EventTimerLow @ 0x0;
    reg {
        name="EventTimerHigh";
        regwidth=0x20;
            field {
                desc = "This field has the following custom Renode callbacks: Provider.";
                sw = r;
            } No_name_2[31:0];
    } EventTimerHigh @ 0x4;
    reg {
        name="CaptureLow";
        regwidth=0x20;
            field {
                desc = "This is a dummy r/w field, generated just to show the register in specs";
                sw = rw;
            } DUMMY[31:0];
    } CaptureLow @ 0x8;
    reg {
        name="CaptureHigh";
        regwidth=0x20;
            field {
                desc = "This is a dummy r/w field, generated just to show the register in specs";
                sw = rw;
            } DUMMY[31:0];
    } CaptureHigh @ 0xc;
    reg {
        name="MatchLow";
        regwidth=0x20;
            field {
                desc = "This field has the following custom Renode callbacks: Write.";
                sw = w;
            } No_name_3[31:0];
    } MatchLow @ 0x10;
    reg {
        name="MatchHigh";
        regwidth=0x20;
            field {
                desc = "This field has the following custom Renode callbacks: Write.";
                sw = w;
            } No_name_4[31:0];
    } MatchHigh @ 0x14;
    reg {
        name="Control";
        desc = "This register has the following custom Renode callbacks: Write";
        regwidth=0x20;
            field {
                sw = wr;
                onwrite = woclr;
            } No_name_6[0:0];
            field {
                sw = rw;
            } No_name_5_[1:1];
            field {
                desc = "This field has the following custom Renode callbacks: Provider.";
                sw = rw;
            } MATCH_WR_RDY___EVTimer_Match_Write_Ready[2:2];
    } Control @ 0x1c;
} Registers_addrmap;


};