addrmap PL330_DMA {

addrmap {
    desc = "Generated by RenodeModelsAnalyzer";
    reg {
        name="DmaManagerStatus";
        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];
    } DmaManagerStatus @ 0x0;
    reg {
        name="DmaProgramCounter";
        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];
    } DmaProgramCounter @ 0x4;
    reg {
        name="DmaInterruptEnable";
        regwidth=0x20;
            field {
                desc = "This field has the following custom Renode callbacks: Write.";
                sw = rw;
            } DMA_Interrupt_Enable[0:0];
    } DmaInterruptEnable @ 0x20;
    reg {
        name="DmaEventInterruptRawStatus";
        regwidth=0x20;
            field {
                desc = "This field has the following custom Renode callbacks: Provider.";
                sw = r;
            } DMA_Event_or_Interrupt_Status[0:0];
    } DmaEventInterruptRawStatus @ 0x24;
    reg {
        name="DmaInterruptStatus";
        regwidth=0x20;
            field {
                desc = "This field has the following custom Renode callbacks: Provider.";
                sw = r;
            } DMA_Interrupt_Status[0:0];
    } DmaInterruptStatus @ 0x28;
    reg {
        name="DmaInterruptClear";
        regwidth=0x20;
            field {
                desc = "This field has the following custom Renode callbacks: Write.";
                sw = w;
            } DMA_Interrupt_Clear[0:0];
    } DmaInterruptClear @ 0x2c;
    reg {
        name="FaultStatusDmaManager";
        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];
    } FaultStatusDmaManager @ 0x30;
    reg {
        name="FaultStatusDmaChannel";
        regwidth=0x20;
            field {
                desc = "This field has the following custom Renode callbacks: Provider.";
                sw = r;
            } Faulting_channels[0:0];
    } FaultStatusDmaChannel @ 0x34;
    reg {
        name="FaultTypeDmaManager";
        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];
    } FaultTypeDmaManager @ 0x38;
    reg {
        name="Channel0FaultType";
        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];
    } Channel0FaultType @ 0x40;
    reg {
        name="Channel1FaultType";
        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];
    } Channel1FaultType @ 0x44;
    reg {
        name="Channel2FaultType";
        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];
    } Channel2FaultType @ 0x48;
    reg {
        name="Channel3FaultType";
        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];
    } Channel3FaultType @ 0x4c;
    reg {
        name="Channel4FaultType";
        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];
    } Channel4FaultType @ 0x50;
    reg {
        name="Channel5FaultType";
        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];
    } Channel5FaultType @ 0x54;
    reg {
        name="Channel6FaultType";
        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];
    } Channel6FaultType @ 0x58;
    reg {
        name="Channel7FaultType";
        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];
    } Channel7FaultType @ 0x5c;
    reg {
        name="Channel0Status";
        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];
    } Channel0Status @ 0x100;
    reg {
        name="Channel0ProgramCounter";
        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];
    } Channel0ProgramCounter @ 0x104;
    reg {
        name="Channel1Status";
        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];
    } Channel1Status @ 0x108;
    reg {
        name="Channel1ProgramCounter";
        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];
    } Channel1ProgramCounter @ 0x10c;
    reg {
        name="Channel2Status";
        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];
    } Channel2Status @ 0x110;
    reg {
        name="Channel2ProgramCounter";
        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];
    } Channel2ProgramCounter @ 0x114;
    reg {
        name="Channel3Status";
        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];
    } Channel3Status @ 0x118;
    reg {
        name="Channel3ProgramCounter";
        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];
    } Channel3ProgramCounter @ 0x11c;
    reg {
        name="Channel4Status";
        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];
    } Channel4Status @ 0x120;
    reg {
        name="Channel4ProgramCounter";
        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];
    } Channel4ProgramCounter @ 0x124;
    reg {
        name="Channel5Status";
        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];
    } Channel5Status @ 0x128;
    reg {
        name="Channel5ProgramCounter";
        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];
    } Channel5ProgramCounter @ 0x12c;
    reg {
        name="Channel6Status";
        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];
    } Channel6Status @ 0x130;
    reg {
        name="Channel6ProgramCounter";
        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];
    } Channel6ProgramCounter @ 0x134;
    reg {
        name="Channel7Status";
        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];
    } Channel7Status @ 0x138;
    reg {
        name="Channel7ProgramCounter";
        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];
    } Channel7ProgramCounter @ 0x13c;
    reg {
        name="Channel0SourceAddress";
        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];
    } Channel0SourceAddress @ 0x400;
    reg {
        name="Channel0DestinationAddress";
        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];
    } Channel0DestinationAddress @ 0x404;
    reg {
        name="Channel0Control";
        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];
    } Channel0Control @ 0x408;
    reg {
        name="Channel0LoopCounter0";
        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];
    } Channel0LoopCounter0 @ 0x40c;
    reg {
        name="Channel0LoopCounter1";
        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];
    } Channel0LoopCounter1 @ 0x410;
    reg {
        name="Channel1SourceAddress";
        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];
    } Channel1SourceAddress @ 0x420;
    reg {
        name="Channel1DestinationAddress";
        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];
    } Channel1DestinationAddress @ 0x424;
    reg {
        name="Channel1Control";
        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];
    } Channel1Control @ 0x428;
    reg {
        name="Channel1LoopCounter0";
        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];
    } Channel1LoopCounter0 @ 0x42c;
    reg {
        name="Channel1LoopCounter1";
        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];
    } Channel1LoopCounter1 @ 0x430;
    reg {
        name="Channel2SourceAddress";
        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];
    } Channel2SourceAddress @ 0x440;
    reg {
        name="Channel2DestinationAddress";
        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];
    } Channel2DestinationAddress @ 0x444;
    reg {
        name="Channel2Control";
        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];
    } Channel2Control @ 0x448;
    reg {
        name="Channel2LoopCounter0";
        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];
    } Channel2LoopCounter0 @ 0x44c;
    reg {
        name="Channel2LoopCounter1";
        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];
    } Channel2LoopCounter1 @ 0x450;
    reg {
        name="Channel3SourceAddress";
        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];
    } Channel3SourceAddress @ 0x460;
    reg {
        name="Channel3DestinationAddress";
        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];
    } Channel3DestinationAddress @ 0x464;
    reg {
        name="Channel3Control";
        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];
    } Channel3Control @ 0x468;
    reg {
        name="Channel3LoopCounter0";
        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];
    } Channel3LoopCounter0 @ 0x46c;
    reg {
        name="Channel3LoopCounter1";
        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];
    } Channel3LoopCounter1 @ 0x470;
    reg {
        name="Channel4SourceAddress";
        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];
    } Channel4SourceAddress @ 0x480;
    reg {
        name="Channel4DestinationAddress";
        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];
    } Channel4DestinationAddress @ 0x484;
    reg {
        name="Channel4Control";
        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];
    } Channel4Control @ 0x488;
    reg {
        name="Channel4LoopCounter0";
        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];
    } Channel4LoopCounter0 @ 0x48c;
    reg {
        name="Channel4LoopCounter1";
        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];
    } Channel4LoopCounter1 @ 0x490;
    reg {
        name="Channel5SourceAddress";
        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];
    } Channel5SourceAddress @ 0x4a0;
    reg {
        name="Channel5DestinationAddress";
        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];
    } Channel5DestinationAddress @ 0x4a4;
    reg {
        name="Channel5Control";
        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];
    } Channel5Control @ 0x4a8;
    reg {
        name="Channel5LoopCounter0";
        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];
    } Channel5LoopCounter0 @ 0x4ac;
    reg {
        name="Channel5LoopCounter1";
        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];
    } Channel5LoopCounter1 @ 0x4b0;
    reg {
        name="Channel6SourceAddress";
        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];
    } Channel6SourceAddress @ 0x4c0;
    reg {
        name="Channel6DestinationAddress";
        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];
    } Channel6DestinationAddress @ 0x4c4;
    reg {
        name="Channel6Control";
        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];
    } Channel6Control @ 0x4c8;
    reg {
        name="Channel6LoopCounter0";
        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];
    } Channel6LoopCounter0 @ 0x4cc;
    reg {
        name="Channel6LoopCounter1";
        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];
    } Channel6LoopCounter1 @ 0x4d0;
    reg {
        name="Channel7SourceAddress";
        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];
    } Channel7SourceAddress @ 0x4e0;
    reg {
        name="Channel7DestinationAddress";
        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];
    } Channel7DestinationAddress @ 0x4e4;
    reg {
        name="Channel7Control";
        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];
    } Channel7Control @ 0x4e8;
    reg {
        name="Channel7LoopCounter0";
        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];
    } Channel7LoopCounter0 @ 0x4ec;
    reg {
        name="Channel7LoopCounter1";
        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];
    } Channel7LoopCounter1 @ 0x4f0;
    reg {
        name="DebugStatus";
        regwidth=0x20;
            field {
                desc = "This field has the following custom Renode callbacks: Provider.";
                sw = r;
            } Debug_status_dbgstatus[0:0];
    } DebugStatus @ 0xd00;
    reg {
        name="DebugCommand";
        regwidth=0x20;
            field {
                desc = "This field has the following custom Renode callbacks: Write.";
                sw = w;
            } Debug_Command[1:0];
    } DebugCommand @ 0xd04;
    reg {
        name="DebugInstruction0";
        regwidth=0x20;
            field {
                sw = rw;
            } Debug_thread_select[0:0];
            field {
                sw = rw;
            } Debug_channel_select[10:8];
            field {
                sw = rw;
            } Instruction_byte_0[23:16];
            field {
                sw = rw;
            } Instruction_byte_1[31:24];
    } DebugInstruction0 @ 0xd08;
    reg {
        name="DebugInstruction1";
        regwidth=0x20;
            field {
                sw = rw;
            } Instruction_byte_2345[31:0];
    } DebugInstruction1 @ 0xd0c;
    reg {
        name="Configuration0";
        regwidth=0x20;
            field {
                desc = "This field has the following custom Renode callbacks: Provider.";
                sw = r;
            } Supports_Peripheral_Request_Interface[0:0];
            field {
                desc = "This field has the following custom Renode callbacks: Provider.";
                sw = r;
            } Boot_from_PC[1:1];
            field {
                desc = "This field has the following custom Renode callbacks: Provider.";
                sw = r;
            } Boot_security_state_for_Manager_Thread[2:2];
            field {
                desc = "This field has the following custom Renode callbacks: Provider.";
                sw = r;
            } Number_of_DMA_channels[6:4];
            field {
                desc = "This field has the following custom Renode callbacks: Provider.";
                sw = r;
            } Number_of_Peripheral_Request_Interfaces[16:12];
            field {
                desc = "This field has the following custom Renode callbacks: Provider.";
                sw = r;
            } Number_of_Events_Interrupts[21:17];
    } Configuration0 @ 0xe00;
    reg {
        name="Configuration1";
        regwidth=0x20;
            field {
                desc = "This field has the following custom Renode callbacks: Provider.";
                sw = r;
            } Length_of_icache_line[2:0];
            field {
                desc = "This field has the following custom Renode callbacks: Provider.";
                sw = r;
            } Number_of_icache_lines[7:4];
    } Configuration1 @ 0xe04;
    reg {
        name="Configuration2";
        regwidth=0x20;
            field {
                desc = "The field is a Tag.";
                sw = rw;
            } Boot_PC_Address[31:0];
    } Configuration2 @ 0xe08;
    reg {
        name="Configuration3";
        regwidth=0x20;
            field {
                desc = "The field is a Tag.";
                sw = rw;
            } Event_Interrupt_is_Non_secure[0:0];
    } Configuration3 @ 0xe0c;
    reg {
        name="Configuration4";
        regwidth=0x20;
            field {
                desc = "The field is a Tag.";
                sw = rw;
            } Peripheral_Request_Interface_is_Non_secure[0:0];
    } Configuration4 @ 0xe10;
    reg {
        name="DmaConfiguration";
        regwidth=0x20;
            field {
                desc = "This field has the following custom Renode callbacks: Provider.";
                sw = rw;
            } AXI_bus_width[2:0];
            field {
                desc = "This field has the following custom Renode callbacks: Provider.";
                sw = rw;
            } Write_issuing_capability_number_of_outstanding_write_transactions[6:4];
            field {
                desc = "This field has the following custom Renode callbacks: Provider.";
                sw = rw;
            } Write_queue_depth[11:8];
            field {
                desc = "This field has the following custom Renode callbacks: Provider.";
                sw = rw;
            } Read_issuing_capability_number_of_outstanding_read_transactions[14:12];
            field {
                desc = "This field has the following custom Renode callbacks: Provider.";
                sw = rw;
            } Read_queue_depth[19:16];
            field {
                desc = "This field has the following custom Renode callbacks: Provider.";
                sw = rw;
            } Data_buffer_lines[29:20];
    } DmaConfiguration @ 0xe14;
    reg {
        name="Watchdog";
        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];
    } Watchdog @ 0xe80;
    reg {
        name="PeripheralIdentification0";
        regwidth=0x20;
            field {
                desc = "This field has the following custom Renode callbacks: Provider.";
                sw = r;
            } Part_number_0[7:0];
    } PeripheralIdentification0 @ 0xfe0;
    reg {
        name="PeripheralIdentification1";
        regwidth=0x20;
            field {
                desc = "This field has the following custom Renode callbacks: Provider.";
                sw = r;
            } Part_number_1[3:0];
            field {
                desc = "This field has the following custom Renode callbacks: Provider.";
                sw = r;
            } Designer_0[7:4];
    } PeripheralIdentification1 @ 0xfe4;
    reg {
        name="PeripheralIdentification2";
        regwidth=0x20;
            field {
                desc = "This field has the following custom Renode callbacks: Provider.";
                sw = r;
            } Designer_1[3:0];
            field {
                desc = "This field has the following custom Renode callbacks: Provider.";
                sw = r;
            } Revision[7:4];
    } PeripheralIdentification2 @ 0xfe8;
    reg {
        name="PeripheralIdentification3";
        regwidth=0x20;
            field {
                desc = "This field has the following custom Renode callbacks: Provider.";
                sw = r;
            } Integration_test_logic[0:0];
    } PeripheralIdentification3 @ 0xfec;
    reg {
        name="ComponentIdentification0";
        regwidth=0x20;
            field {
                desc = "This field has the following custom Renode callbacks: Provider.";
                sw = r;
            } Component_ID_0[7:0];
    } ComponentIdentification0 @ 0xff0;
    reg {
        name="ComponentIdentification1";
        regwidth=0x20;
            field {
                desc = "This field has the following custom Renode callbacks: Provider.";
                sw = r;
            } Component_ID_1[7:0];
    } ComponentIdentification1 @ 0xff4;
    reg {
        name="ComponentIdentification2";
        regwidth=0x20;
            field {
                desc = "This field has the following custom Renode callbacks: Provider.";
                sw = r;
            } Component_ID_2[7:0];
    } ComponentIdentification2 @ 0xff8;
    reg {
        name="ComponentIdentification3";
        regwidth=0x20;
            field {
                desc = "This field has the following custom Renode callbacks: Provider.";
                sw = r;
            } Component_ID_3[7:0];
    } ComponentIdentification3 @ 0xffc;
} Registers_addrmap;


};