addrmap S32K_LPIT {

addrmap {
    desc = "Generated by RenodeModelsAnalyzer";
    reg {
        name="VersionID";
        regwidth=0x20;
            field {
                desc = "This field has the following custom Renode callbacks: Provider.";
                sw = r;
            } FEATURE___Feature_Number[15:0];
            field {
                desc = "This field has the following custom Renode callbacks: Provider.";
                sw = r;
            } MINOR___Minor_Version_Number[23:16];
            field {
                desc = "This field has the following custom Renode callbacks: Provider.";
                sw = r;
            } MAJOR___Major_Version_Number[31:24];
    } VersionID @ 0x0;
    reg {
        name="Parameter";
        regwidth=0x20;
            field {
                desc = "This field has the following custom Renode callbacks: Provider.";
                sw = r;
            } CHANNEL___Number_of_Timer_Channels[7:0];
            field {
                desc = "This field has the following custom Renode callbacks: Provider.";
                sw = r;
            } EXT_TRIG___Number_of_External_Trigger_Inputs[15:8];
    } Parameter @ 0x4;
    reg {
        name="ModuleControl";
        regwidth=0x20;
            field {
                desc = "This field has the following custom Renode callbacks: Change.";
                sw = rw;
            } M_CEN___Module_Clock_Enable[0:0];
            field {
                desc = "This field has the following custom Renode callbacks: Change.";
                sw = rw;
            } SW_RST___Software_Reset[1:1];
            field {
                desc = "The field is a Tag.";
                sw = rw;
            } DOZE_EN___DOZE_Mode_Enable[2:2];
            field {
                desc = "The field is a Tag.";
                sw = rw;
            } DBG_EN___Debug_Enable[3:3];
    } ModuleControl @ 0x8;
    reg {
        name="ModuleStatus";
        regwidth=0x20;
            field {
                desc = "This field has the following custom Renode callbacks: Write, Provider.";
                sw = rw;
            } TIFn___Channel_n_Timer_Interrupt_Flag[3:0];
    } ModuleStatus @ 0xc;
    reg {
        name="ModuleInterruptEnable";
        regwidth=0x20;
            field {
                desc = "This field has the following custom Renode callbacks: Change, Provider.";
                sw = rw;
            } TIEn___Channel_n_Timer_Interrupt_Enable[3:0];
    } ModuleInterruptEnable @ 0x10;
    reg {
        name="SetTimerEnable";
        regwidth=0x20;
            field {
                desc = "This field has the following custom Renode callbacks: Write, Provider.";
                sw = rw;
            } SET_T_EN_n___Set_Timer_n_Enable[3:0];
    } SetTimerEnable @ 0x14;
    reg {
        name="ClearTimerEnable";
        regwidth=0x20;
            field {
                desc = "This field has the following custom Renode callbacks: Write.";
                sw = w;
            } CLR_T_EN_n___Clear_Timer_n_Enable[3:0];
    } ClearTimerEnable @ 0x18;
    reg {
        name="TimerValue0";
        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];
    } TimerValue0 @ 0x20;
    reg {
        name="CurrentTimerValue0";
        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];
    } CurrentTimerValue0 @ 0x24;
    reg {
        name="TimerControl0";
        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];
    } TimerControl0 @ 0x28;
    reg {
        name="TimerValue1";
        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];
    } TimerValue1 @ 0x30;
    reg {
        name="CurrentTimerValue1";
        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];
    } CurrentTimerValue1 @ 0x34;
    reg {
        name="TimerControl1";
        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];
    } TimerControl1 @ 0x38;
    reg {
        name="TimerValue2";
        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];
    } TimerValue2 @ 0x40;
    reg {
        name="CurrentTimerValue2";
        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];
    } CurrentTimerValue2 @ 0x44;
    reg {
        name="TimerControl2";
        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];
    } TimerControl2 @ 0x48;
    reg {
        name="TimerValue3";
        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];
    } TimerValue3 @ 0x50;
    reg {
        name="CurrentTimerValue3";
        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];
    } CurrentTimerValue3 @ 0x54;
    reg {
        name="TimerControl3";
        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];
    } TimerControl3 @ 0x58;
} Registers_addrmap;


};