Peter,

Yes, push those registers used within the Interrupt Service Routine.

It's not uncommon for folks to forget that they are modifying the PSW during interrupt routines by adding/subtracting/comparing, etc. So pushing/popping PSW is important.

regards,
p