[ECOS] interrupt acknowledgement

[Trenton D. Adams]

The CL-PS6700 interrupt controller has interrupt status registers of
it's own.
 
So, when I call cyg_interrupt_acknowledge (), I should also clear the
Interrupt Status register in the CL-PS6700 as well right?
 
I should also do the appropriate thing to the CL-PS6700 registers when
calling cyg_interrupt_mask () and cyg_interrupt_unmask () right?