Searched refs:Interrupt_ID_25 (Results 1 – 10 of 10) sorted by relevance
72 Interrupt_ID_25 : constant Interrupt_ID := OS.Interrupt_ID_25; constant
314 Interrupt_ID_25 : constant := 25; constant
69 Interrupt_ID_25 : constant Interrupt_ID := OS.Interrupt_ID_25; constant
313 Interrupt_ID_25 : constant := 25; constant
69 Interrupt_ID_25 : constant Interrupt_ID := OS.Interrupt_ID_25;