addrmap ARM_GlobalTimer {

addrmap {
    desc = "Generated by RenodeModelsAnalyzer";
    reg {
        name="CounterLow";
        regwidth=0x20;
            field {
                desc = "This field has the following custom Renode callbacks: Write, Provider.";
                sw = rw;
            } Counter_0_31[31:0];
    } CounterLow @ 0x0;
    reg {
        name="CounterHigh";
        regwidth=0x20;
            field {
                desc = "This field has the following custom Renode callbacks: Write, Provider.";
                sw = rw;
            } Counter_32_63[31:0];
    } CounterHigh @ 0x4;
    reg {
        name="Control";
        regwidth=0x20;
            field {
                desc = "This field has the following custom Renode callbacks: Write, Provider.";
                sw = rw;
            } Timer_enable[0:0];
            field {
                desc = "This field has the following custom Renode callbacks: Write, Provider.";
                sw = rw;
            } Comp_enable[1:1];
            field {
                desc = "This field has the following custom Renode callbacks: Write, Provider.";
                sw = rw;
            } IRQ_enable[2:2];
            field {
                desc = "This field has the following custom Renode callbacks: Write, Provider.";
                sw = rw;
            } Auto_increment[3:3];
            field {
                desc = "This field has the following custom Renode callbacks: Write, Provider.";
                sw = rw;
            } Prescaler[15:8];
    } Control @ 0x8;
    reg {
        name="InterruptStatus";
        regwidth=0x20;
            field {
                desc = "This field has the following custom Renode callbacks: Write, Provider.";
                sw = rw;
            } Event[0:0];
    } InterruptStatus @ 0xc;
    reg {
        name="CompareValueLow";
        regwidth=0x20;
            field {
                desc = "This field has the following custom Renode callbacks: Write, Provider.";
                sw = rw;
            } Comparator_Value_0_31[31:0];
    } CompareValueLow @ 0x10;
    reg {
        name="CompareValueHigh";
        regwidth=0x20;
            field {
                desc = "This field has the following custom Renode callbacks: Write, Provider.";
                sw = rw;
            } Comparator_Value_32_63[31:0];
    } CompareValueHigh @ 0x14;
    reg {
        name="AutoIncrement";
        regwidth=0x20;
            field {
                desc = "This field has the following custom Renode callbacks: Write, Provider.";
                sw = rw;
            } Auto_increment[31:0];
    } AutoIncrement @ 0x18;
} Registers_addrmap;


};