device_isr: // save scratch registers not preserved by isr() push r0 push r1 call __isr_15device_c // restore scratch registers pop r1 pop r0 rte End of Listing