addrmap MiV_CoreTimer {

addrmap {
    desc = "Generated by RenodeModelsAnalyzer";
    reg {
        name="Load";
        regwidth=0x20;
            field {
                desc = "This field has the following custom Renode callbacks: Write, Provider.";
                sw = rw;
            } LoadValue[31:0];
    } Load @ 0x0;
    reg {
        name="Value";
        regwidth=0x20;
            field {
                desc = "This field has the following custom Renode callbacks: Provider.";
                sw = r;
                reset=32'b11111111111111111111111111111111;
            } CurrentValue[31:0];
    } Value @ 0x4;
    reg {
        name="Control";
        regwidth=0x20;
            field {
                desc = "This field has the following custom Renode callbacks: Write, Provider.";
                sw = rw;
            } TimerEnable[0:0];
            field {
                desc = "This field has the following custom Renode callbacks: Write, Provider.";
                sw = rw;
            } InterruptEnable[1:1];
            field {
                desc = "This field has the following custom Renode callbacks: Write, Provider.";
                sw = rw;
            } TimerMode[2:2];
    } Control @ 0x8;
    reg {
        name="ClockPrescale";
        regwidth=0x20;
            field {
                desc = "This field has the following custom Renode callbacks: Write, Provider.";
                sw = rw;
            } Prescale[3:0];
    } ClockPrescale @ 0xc;
    reg {
        name="InterruptClear";
        regwidth=0x20;
            field {
                desc = "This field has the following custom Renode callbacks: Write.";
                sw = w;
            } No_name_1[31:0];
    } InterruptClear @ 0x10;
    reg {
        name="RawInterruptStatus";
        regwidth=0x20;
            field {
                desc = "This field has the following custom Renode callbacks: Provider.";
                sw = r;
            } No_name_2[0:0];
    } RawInterruptStatus @ 0x14;
    reg {
        name="MaskedInterruptStatus";
        regwidth=0x20;
            field {
                desc = "This field has the following custom Renode callbacks: Provider.";
                sw = r;
            } No_name_3[0:0];
    } MaskedInterruptStatus @ 0x18;
} Registers_addrmap;


};