sim/771: psim external interrupt delivery masked by pending decrementer interrupt

[cagney@redhat.com]

Synopsis: psim external interrupt delivery masked by pending decrementer interrupt

Responsible-Changed-From-To: unassigned->cagney
Responsible-Changed-By: cagney
Responsible-Changed-When: Sun Jun 22 03:56:29 2003
Responsible-Changed-Why:
    thanks
State-Changed-From-To: open->closed
State-Changed-By: cagney
State-Changed-When: Sun Jun 22 03:56:29 2003
State-Changed-Why:
    Changed (!a & b) to (! (a & b)).  That way the assert was retained.

http://sources.redhat.com/cgi-bin/gnatsweb.pl?cmd=view%20audit-trail&database=gdb&pr=771