taking IMR into account in Interrupt Server