addrmap LiteX_Timer_64bit {

addrmap {
    desc = "Generated by RenodeModelsAnalyzer";
    reg {
        name="Load0";
        regwidth=0x20;
            field {
                desc = "This field has the following custom Renode callbacks: Write.";
                sw = rw;
            } LOADidx[7:0];
    } Load0 [4]@ 0x0 += 8;
    reg {
        name="Reload0";
        regwidth=0x20;
            field {
                desc = "This field has the following custom Renode callbacks: Write.";
                sw = rw;
            } RELOADidx[7:0];
    } Reload0 [4]@ 0x20 += 8;
    reg {
        name="TimerEnable";
        regwidth=0x20;
            field {
                desc = "This field has the following custom Renode callbacks: Write.";
                sw = rw;
            } ENABLE[0:0];
    } TimerEnable @ 0x40;
    reg {
        name="TimerUpdateValue";
        regwidth=0x20;
            field {
                desc = "This field has the following custom Renode callbacks: Write.";
                sw = w;
                onwrite = woclr;
            } UPDATE_VALUE[0:0];
    } TimerUpdateValue @ 0x48;
    reg {
        name="Value0";
        regwidth=0x20;
            field {
                desc = "This field has the following custom Renode callbacks: Provider.";
                sw = r;
            } VALUEidx[7:0];
    } Value0 [4]@ 0x50 += 8;
    reg {
        name="EventStatus";
        regwidth=0x20;
            field {
                desc = "This field has the following custom Renode callbacks: Provider.";
                sw = r;
            } EV_STATUS[0:0];
    } EventStatus @ 0x70;
    reg {
        name="EventPending";
        regwidth=0x20;
            field {
                desc = "This field has the following custom Renode callbacks: Change.";
                sw = rw;
                onwrite = woclr;
            } EV_PENDING[0:0];
    } EventPending @ 0x78;
    reg {
        name="EventEnable";
        regwidth=0x20;
            field {
                desc = "This field has the following custom Renode callbacks: Change.";
                sw = rw;
            } EV_ENABLE[0:0];
    } EventEnable @ 0x80;
} Registers_addrmap;


};