Update interrupt.h