addrmap BCM2711_AUX_UART {

addrmap {
    desc = "Generated by RenodeModelsAnalyzer";
    reg {
        name="MiniUart_IO";
        regwidth=0x20;
            field {
                desc = "This field has the following custom Renode callbacks: Write, Provider.";
                sw = rw;
            } Receive_data_read_write[7:0];
    } MiniUart_IO @ 0x0;
    reg {
        name="MiniUart_InterruptEnable";
        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];
    } MiniUart_InterruptEnable @ 0x4;
    reg {
        name="MiniUart_InterruptIdentify";
        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];
    } MiniUart_InterruptIdentify @ 0x8;
    reg {
        name="MiniUart_LineControl";
        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];
    } MiniUart_LineControl @ 0xc;
    reg {
        name="MiniUart_ModemControl";
        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];
    } MiniUart_ModemControl @ 0x10;
    reg {
        name="MiniUart_LineStatus";
        regwidth=0x20;
            field {
                desc = "This field has the following custom Renode callbacks: Provider.";
                sw = r;
            } Data_ready[0:0];
            field {
                desc = "This field has the following custom Renode callbacks: Provider.";
                sw = rw;
                onwrite = woclr;
            } Receiver_overrun[1:1];
            field {
                desc = "This field has the following custom Renode callbacks: Provider.";
                sw = r;
            } Transmitter_empty[5:5];
            field {
                desc = "This field has the following custom Renode callbacks: Provider.";
                sw = r;
            } Transmitter_idle[6:6];
    } MiniUart_LineStatus @ 0x14;
    reg {
        name="MiniUart_ModemStatus";
        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];
    } MiniUart_ModemStatus @ 0x18;
    reg {
        name="MiniUart_Scratch";
        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];
    } MiniUart_Scratch @ 0x1c;
    reg {
        name="MiniUart_ExtraControl";
        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];
    } MiniUart_ExtraControl @ 0x20;
    reg {
        name="MiniUart_Status";
        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];
    } MiniUart_Status @ 0x24;
    reg {
        name="MiniUart_Baudrate";
        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];
    } MiniUart_Baudrate @ 0x28;
} Registers_addrmap;


};