addrmap CoreLevelInterruptor {

addrmap {
    desc = "Generated by RenodeModelsAnalyzer";
    reg {
        name="MSipHart0";
        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];
    } MSipHart0 @ 0x0;
    reg {
        name="MTimeCmpHart0Lo";
        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];
    } MTimeCmpHart0Lo @ 0x4000;
    reg {
        name="MTimeCmpHart0Hi";
        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];
    } MTimeCmpHart0Hi @ 0x4004;
    reg {
        name="MTimeLo";
        regwidth=0x20;
            field {
                desc = "This field has the following custom Renode callbacks: Write, Provider.";
                sw = r;
            } No_name_1[31:0];
    } MTimeLo @ 0xbff8;
    reg {
        name="MTimeHi";
        regwidth=0x20;
            field {
                desc = "This field has the following custom Renode callbacks: Write, Provider.";
                sw = r;
            } No_name_2[31:0];
    } MTimeHi @ 0xbffc;
} Registers_addrmap;


};