Searched refs:Interrupt_ID_10 (Results 1 – 10 of 10) sorted by relevance
57 Interrupt_ID_10 : constant Interrupt_ID := OS.Interrupt_ID_10; constant
299 Interrupt_ID_10 : constant := 10; constant
54 Interrupt_ID_10 : constant Interrupt_ID := OS.Interrupt_ID_10; constant
298 Interrupt_ID_10 : constant := 10; constant
54 Interrupt_ID_10 : constant Interrupt_ID := OS.Interrupt_ID_10;