More hardware specific interrupt stuff implemented in C