> 
> Ah, I understand the problem now. We can't have a multiple irqs of the 
> *same* *type*
> pending at the same time, but we /can/ have multiple irqs of *different* 
> *types* pending
> at the same time (i.e. a ckc and service signal).

Indeed, at least for these types of external interrupts.

(if I remember correctly, previous TCG versions did this wrong but I
fixed it :) )

> 
> Thanks for clearing this up for me.  I was over thinking the problem and 
> I agree that
> a print would be the easiest solution. :)
> 


-- 

Thanks,

David / dhildenb

Reply via email to