addrmap VeeR_EL2_PIC {

addrmap {
    desc = "Generated by RenodeModelsAnalyzer";
    reg {
        name="InterruptSource0PriorityLevel";
        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];
    } InterruptSource0PriorityLevel @ 0x0;
    reg {
        name="InterruptSource1PriorityLevel";
        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];
    } InterruptSource1PriorityLevel @ 0x4;
    reg {
        name="InterruptSource255PriorityLevel";
        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];
    } InterruptSource255PriorityLevel @ 0x3fc;
    reg {
        name="InterruptsPending0";
        regwidth=0x20;
            field {
                desc = "This field has the following custom Renode callbacks: Provider.";
                sw = r;
            } No_name_1[31:0];
    } meipX [8]@ 0x1000 += 4;
    reg {
        name="InterruptSource0Enable";
        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];
    } InterruptSource0Enable @ 0x2000;
    reg {
        name="InterruptSource1Enable";
        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];
    } InterruptSource1Enable @ 0x2004;
    reg {
        name="InterruptSource255Enable";
        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];
    } InterruptSource255Enable @ 0x23fc;
    reg {
        name="PICConfiguration";
        desc = "This register has the following custom Renode callbacks: Change";
        regwidth=0x20;
            field {
                sw = rw;
            } priord[0:0];
    } mpiccfg @ 0x3000;
    reg {
        name="InterruptSource0GatewayConfiguration";
        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];
    } InterruptSource0GatewayConfiguration @ 0x4000;
    reg {
        name="InterruptSource1GatewayConfiguration";
        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];
    } InterruptSource1GatewayConfiguration @ 0x4004;
    reg {
        name="InterruptSource255GatewayConfiguration";
        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];
    } InterruptSource255GatewayConfiguration @ 0x43fc;
    reg {
        name="InterruptSource0GatewayClear";
        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];
    } InterruptSource0GatewayClear @ 0x5000;
    reg {
        name="InterruptSource1GatewayClear";
        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];
    } InterruptSource1GatewayClear @ 0x5004;
    reg {
        name="InterruptSource255GatewayClear";
        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];
    } InterruptSource255GatewayClear @ 0x53fc;
} Registers_addrmap;


};