addrmap S32K3XX_RealTimeClock {

addrmap {
    desc = "Generated by RenodeModelsAnalyzer";
    reg {
        name="RTCSupervisorControl";
        regwidth=0x20;
            field {
                desc = "The field is a Tag.";
                sw = rw;
                reset=1'b1;
            } RTCSupervisorBit[31:31];
    } RTCSupervisorControl @ 0x0;
    reg {
        name="RTCControl";
        desc = "This register has the following custom Renode callbacks: Change";
        regwidth=0x20;
            field {
                desc = "The field is a Tag.";
                sw = rw;
            } TriggerEnableForAnalogComparator[0:0];
            field {
                desc = "This field has the following custom Renode callbacks: Change, Provider.";
                sw = rw;
            } DivideBy32enable[10:10];
            field {
                desc = "This field has the following custom Renode callbacks: Change, Provider.";
                sw = rw;
            } DivideBy512enable[11:11];
            field {
                sw = rw;
            } ClockSelect[13:12];
            field {
                desc = "This field has the following custom Renode callbacks: Change, Provider.";
                sw = rw;
            } APIInterruptEnable[14:14];
            field {
                sw = rw;
            } AutonomousPeriodicInterruptEnable[15:15];
            field {
                sw = rw;
            } CounterRollOverInterruptEnable[28:28];
            field {
                desc = "The field is a Tag.";
                sw = rw;
            } FreezeEnableBit[29:29];
            field {
                sw = rw;
            } RTCInterruptEnable[30:30];
            field {
                desc = "This field has the following custom Renode callbacks: Change, Provider.";
                sw = rw;
            } CounterEnable[31:31];
    } RTCControl @ 0x4;
    reg {
        name="RTCStatus";
        desc = "This register has the following custom Renode callbacks: Change";
        regwidth=0x20;
            field {
                sw = wr;
                onwrite = woclr;
            } CounterRollOverInterruptFlag[10:10];
            field {
                sw = wr;
                onwrite = woclr;
            } APIInterruptFlag[13:13];
            field {
                desc = "The field is a Tag.";
                sw = rw;
            } InvalidAPIVALWrite[17:17];
            field {
                desc = "The field is a Tag.";
                sw = rw;
            } InvalidRTCWrite[18:18];
            field {
                sw = wr;
                onwrite = woclr;
            } RTCInterruptFlag[29:29];
    } RTCStatus @ 0x8;
    reg {
        name="RTCCounter";
        regwidth=0x20;
            field {
                desc = "This field has the following custom Renode callbacks: Provider.";
                sw = r;
            } RTCCounterValue[31:0];
    } RTCCounter @ 0xc;
    reg {
        name="APICompareValue";
        regwidth=0x20;
            field {
                desc = "This field has the following custom Renode callbacks: Write, Provider.";
                sw = rw;
            } APICompareValue[31:0];
    } APICompareValue @ 0x10;
    reg {
        name="RTCCompareValue";
        regwidth=0x20;
            field {
                desc = "This field has the following custom Renode callbacks: Write, Provider.";
                sw = rw;
            } RTCCompareValue[31:0];
    } RTCCompareValue @ 0x14;
} Registers_addrmap;


};