void main(void){ while(1) { /*some code*/ results_process(); --> eint3handler() { /*some code*/ platform_powerdown()-->application_powerdown(); /*end of eint3 handler*/ } /*register r4 gets corrupted sometimes*/ } }