[Bug 1958] LEON_Is_interrupt_masked for Leon3 in leon.h

[bugzilla-daemon at rtems.org]

https://www.rtems.org/bugzilla/show_bug.cgi?id=1958

--- Comment #1 from Joel Sherrill <joel.sherrill at oarcorp.com> 2011-11-27 10:18:48 CST ---
Jiri.. is this patch OK?

-- 
Configure bugmail: https://www.rtems.org/bugzilla/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are watching all bug changes.