addrmap HPET {

addrmap {
    desc = "Generated by RenodeModelsAnalyzer";
    reg {
        name="GeneralCapabilitiesAndID";
        regwidth=0x40;
            field {
                desc = "This field has the following custom Renode callbacks: Provider.";
                sw = r;
            } COUNTER_CLK_PERIOD[63:32];
            field {
                desc = "The field is a Tag.";
                sw = rw;
            } VENDOR_ID[31:16];
            field {
                desc = "The field is a Tag.";
                sw = rw;
            } LEG_RT_CAP[15:15];
            field {
                desc = "The field is a Tag.";
                sw = rw;
            } COUNT_SIZE_CAP[13:13];
            field {
                desc = "The field is a Tag.";
                sw = rw;
            } NUM_TIM_CAP[11:8];
            field {
                desc = "The field is a Tag.";
                sw = rw;
            } REV_ID[7:0];
    } GeneralCapabilitiesAndID @ 0x0;
    reg {
        name="GeneralConfiguration";
        regwidth=0x40;
            field {
                desc = "The field is a Tag.";
                sw = rw;
            } LEG_RT_CNF[1:1];
            field {
                desc = "This field has the following custom Renode callbacks: Write, Provider.";
                sw = rw;
            } ENABLE_CNF[0:0];
    } GeneralConfiguration @ 0x10;
    reg {
        name="GeneralInterruptStatus";
        regwidth=0x40;
            field {
                desc = "The field is a Tag.";
                sw = rw;
            } Tn_INT_STS[31:0];
    } GeneralInterruptStatus @ 0x20;
    reg {
        name="MainCounterValue";
        regwidth=0x40;
            field {
                desc = "This field has the following custom Renode callbacks: Write, Provider.";
                sw = rw;
            } No_name_1[63:0];
    } MainCounterValue @ 0xf0;
    reg {
        name="Timer0ConfigurationAndCapability";
        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];
    } Timer0ConfigurationAndCapability @ 0x100;
    reg {
        name="Timer0ComparatorValue";
        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];
    } Timer0ComparatorValue @ 0x108;
    reg {
        name="Timer0FSBInterruptRoute";
        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];
    } Timer0FSBInterruptRoute @ 0x110;
    reg {
        name="Timer1ConfigurationAndCapability";
        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];
    } Timer1ConfigurationAndCapability @ 0x120;
    reg {
        name="Timer1ComparatorValue";
        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];
    } Timer1ComparatorValue @ 0x128;
    reg {
        name="Timer1FSBInterruptRoute";
        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];
    } Timer1FSBInterruptRoute @ 0x130;
    reg {
        name="Timer2ConfigurationAndCapability";
        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];
    } Timer2ConfigurationAndCapability @ 0x140;
    reg {
        name="Timer2ComparatorValue";
        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];
    } Timer2ComparatorValue @ 0x148;
    reg {
        name="Timer2FSBInterruptRoute";
        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];
    } Timer2FSBInterruptRoute @ 0x150;
} Registers_addrmap;


};