Yes. Although when I dreamed it up it domain wasn't more then a twinkle in
someone's eye on x86. I'm not certain it is much more than that now.
The interesting implication of this is that if you have the right hardware
and are absolutely loopy you can have more interrupt sources than can
be described in a 32bit unsigned int, and certainly more than any sane person
would allocate in a statically sized array.
Eric
--