addrmap MPFS_Timer {

addrmap {
    desc = "Generated by RenodeModelsAnalyzer";
    reg {
        name="Timer1Value";
        desc = "Could not determine register's width, guessed 8 bits.";
        regwidth=0x8;
            field {
                desc = "This is a dummy r/w field, generated just to show the register in specs";
                sw = rw;
            } DUMMY[7:0];
    } Timer1Value @ 0x0;
    reg {
        name="Timer1LoadValue";
        desc = "Could not determine register's width, guessed 8 bits.";
        regwidth=0x8;
            field {
                desc = "This is a dummy r/w field, generated just to show the register in specs";
                sw = rw;
            } DUMMY[7:0];
    } Timer1LoadValue @ 0x4;
    reg {
        name="Timer1BackgroundLoadValue";
        desc = "Could not determine register's width, guessed 8 bits.";
        regwidth=0x8;
            field {
                desc = "This is a dummy r/w field, generated just to show the register in specs";
                sw = rw;
            } DUMMY[7:0];
    } Timer1BackgroundLoadValue @ 0x8;
    reg {
        name="Timer1Control";
        desc = "Could not determine register's width, guessed 8 bits.";
        regwidth=0x8;
            field {
                desc = "This is a dummy r/w field, generated just to show the register in specs";
                sw = rw;
            } DUMMY[7:0];
    } Timer1Control @ 0xc;
    reg {
        name="Timer1RawInterruptStatus";
        desc = "Could not determine register's width, guessed 8 bits.";
        regwidth=0x8;
            field {
                desc = "This is a dummy r/w field, generated just to show the register in specs";
                sw = rw;
            } DUMMY[7:0];
    } Timer1RawInterruptStatus @ 0x10;
    reg {
        name="Timer1MaskedInterruptStatus";
        desc = "Could not determine register's width, guessed 8 bits.";
        regwidth=0x8;
            field {
                desc = "This is a dummy r/w field, generated just to show the register in specs";
                sw = rw;
            } DUMMY[7:0];
    } Timer1MaskedInterruptStatus @ 0x14;
    reg {
        name="Timer2Value";
        desc = "Could not determine register's width, guessed 8 bits.";
        regwidth=0x8;
            field {
                desc = "This is a dummy r/w field, generated just to show the register in specs";
                sw = rw;
            } DUMMY[7:0];
    } Timer2Value @ 0x18;
    reg {
        name="Timer2LoadValue";
        desc = "Could not determine register's width, guessed 8 bits.";
        regwidth=0x8;
            field {
                desc = "This is a dummy r/w field, generated just to show the register in specs";
                sw = rw;
            } DUMMY[7:0];
    } Timer2LoadValue @ 0x1c;
    reg {
        name="Timer2BackgroundLoadValue";
        desc = "Could not determine register's width, guessed 8 bits.";
        regwidth=0x8;
            field {
                desc = "This is a dummy r/w field, generated just to show the register in specs";
                sw = rw;
            } DUMMY[7:0];
    } Timer2BackgroundLoadValue @ 0x20;
    reg {
        name="Timer2Control";
        desc = "Could not determine register's width, guessed 8 bits.";
        regwidth=0x8;
            field {
                desc = "This is a dummy r/w field, generated just to show the register in specs";
                sw = rw;
            } DUMMY[7:0];
    } Timer2Control @ 0x24;
    reg {
        name="Timer2RawInterruptStatus";
        desc = "Could not determine register's width, guessed 8 bits.";
        regwidth=0x8;
            field {
                desc = "This is a dummy r/w field, generated just to show the register in specs";
                sw = rw;
            } DUMMY[7:0];
    } Timer2RawInterruptStatus @ 0x28;
    reg {
        name="Timer2MaskedInterruptStatus";
        desc = "Could not determine register's width, guessed 8 bits.";
        regwidth=0x8;
            field {
                desc = "This is a dummy r/w field, generated just to show the register in specs";
                sw = rw;
            } DUMMY[7:0];
    } Timer2MaskedInterruptStatus @ 0x2c;
    reg {
        name="Timer64ValueHigh";
        regwidth=0x20;
            field {
                desc = "This field has the following custom Renode callbacks: Provider.";
                sw = r;
            } TIM64VALUEU[31:0];
    } Timer64ValueHigh @ 0x30;
    reg {
        name="Timer64ValueLow";
        regwidth=0x20;
            field {
                desc = "This field has the following custom Renode callbacks: Provider.";
                sw = r;
            } TIM64VALUEL[31:0];
    } Timer64ValueLow @ 0x34;
    reg {
        name="Timer64LoadValueHigh";
        regwidth=0x20;
            field {
                sw = rw;
            } TIM64LOADVALU[31:0];
    } Timer64LoadValueHigh @ 0x38;
    reg {
        name="Timer64LoadValueLow";
        regwidth=0x20;
            field {
                desc = "This field has the following custom Renode callbacks: Write.";
                sw = rw;
            } TIM64LOADVALL[31:0];
    } Timer64LoadValueLow @ 0x3c;
    reg {
        name="Timer64BackgroundLoadValueHigh";
        regwidth=0x20;
            field {
                sw = rw;
            } TIM64BGLOADVAU[31:0];
    } Timer64BackgroundLoadValueHigh @ 0x40;
    reg {
        name="Timer64BackgroundLoadValueLow";
        regwidth=0x20;
            field {
                desc = "This field has the following custom Renode callbacks: Write.";
                sw = rw;
            } TIM64BGLOADVAL[31:0];
    } Timer64BackgroundLoadValueLow @ 0x44;
    reg {
        name="Timer64Control";
        desc = "Could not determine register's width, guessed 8 bits.";
        regwidth=0x8;
            field {
                desc = "This is a dummy r/w field, generated just to show the register in specs";
                sw = rw;
            } DUMMY[7:0];
    } Timer64Control @ 0x48;
    reg {
        name="Timer64RawInterruptStatus";
        desc = "Could not determine register's width, guessed 8 bits.";
        regwidth=0x8;
            field {
                desc = "This is a dummy r/w field, generated just to show the register in specs";
                sw = rw;
            } DUMMY[7:0];
    } Timer64RawInterruptStatus @ 0x4c;
    reg {
        name="Timer64MaskedInterruptStatus";
        desc = "Could not determine register's width, guessed 8 bits.";
        regwidth=0x8;
            field {
                desc = "This is a dummy r/w field, generated just to show the register in specs";
                sw = rw;
            } DUMMY[7:0];
    } Timer64MaskedInterruptStatus @ 0x50;
    reg {
        name="TimerMode";
        regwidth=0x20;
            field {
                desc = "This field has the following custom Renode callbacks: Write.";
                sw = rw;
            } TIM64MODE[0:0];
    } TimerMode @ 0x54;
} Registers_addrmap;


};