addrmap PULP_InterruptController {

addrmap {
    desc = "Generated by RenodeModelsAnalyzer";
    reg {
        name="Mask";
        regwidth=0x20;
            field {
                desc = "This field has the following custom Renode callbacks: Write, Provider.";
                sw = rw;
            } MASK[31:0];
    } Mask @ 0x0;
    reg {
        name="MaskSet";
        regwidth=0x20;
            field {
                sw = rw;
                onwrite = woset;
            } MASK_SET[31:0];
    } MaskSet @ 0x4;
    reg {
        name="MaskClear";
        regwidth=0x20;
            field {
                desc = "This field has the following custom Renode callbacks: Write, Provider.";
                sw = rw;
            } MASK_CLEAR[31:0];
    } MaskClear @ 0x8;
    reg {
        name="Interrupt";
        regwidth=0x20;
            field {
                desc = "This field has the following custom Renode callbacks: Provider.";
                sw = r;
            } INT[31:0];
    } Interrupt @ 0xc;
    reg {
        name="InterruptSet";
        regwidth=0x20;
            field {
                sw = rw;
                onwrite = woset;
            } INT_SET[31:0];
    } InterruptSet @ 0x10;
    reg {
        name="InterruptClear";
        regwidth=0x20;
            field {
                desc = "This field has the following custom Renode callbacks: Write, Provider.";
                sw = rw;
            } INT_CLEAR[31:0];
    } InterruptClear @ 0x14;
    reg {
        name="Acknowledge";
        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];
    } Acknowledge @ 0x18;
    reg {
        name="AcknowledgeSet";
        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];
    } AcknowledgeSet @ 0x1c;
    reg {
        name="AcknowledgeClear";
        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];
    } AcknowledgeClear @ 0x20;
    reg {
        name="FIFO";
        regwidth=0x20;
            field {
                desc = "This field has the following custom Renode callbacks: Provider.";
                sw = r;
            } FIFO[31:0];
    } FIFO @ 0x24;
} Registers_addrmap;


};