[Bug 1960] ERC32_Is_interrupt_masked for ERC32 in erc32.h

[bugzilla-daemon at rtems.org]

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

--- Comment #1 from Joel Sherrill <joel.sherrill at oarcorp.com> 2011-11-10 07:22:58 CST ---
Daniel and Jiri... what do you think?  If ok, I will commit this.

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