为什么中断的过程中系统会自动返回？

第一期视频,中断控制器 一节讲了中断的原理,基本了解但是又不会自己写代码
针对实例代码,有一处疑问:
在HandIRQ中断处理程序中

• HandleIRQ:
•     sub lr, lr, #4                      @ 计算返回地址
•     stmdb   sp!,    { r0-r12,lr }       @ 保存使用到的寄存器
•                                         @ 注意，此时的sp是中断模式的sp
•                                         @ 初始值是上面设置的3072
•     ldr lr, =int_return              @ 设置调用ISR即EINT_Handle函数后的返回地址
•     ldr pc, =EINT_Handle        @ 调用中断服务函数，在interrupt.c中
• int_return:
•     ldmia   sp!,    { r0-r12,pc }^   @ 中断返回, ^表示将spsr的值复制到cpsr
  

复制代码
ISR返回地址需要ldr lr,=int_return 来实现.
为什么这样一设置,处理完interrupt.c里的EINT_Handle函数,系统就会自动返回.