add definition of OSEK_InterruptFlags