Hello,
Not sure if there are any examples as it is very simple.
I do not see any examples in S32DS RTDs package.
You simply configure register to desired value and then lock it with Hard lock or with soft lock.

All details are described in reference manual chapter 55.
But have in mind that some registers are locked by default, so first you have to unlock them via UAA bit and the modify a lock.
Best regards,
Peter