The sun4v channel nexus generates interrupt cookies that are put in the
first word for the devmondo generated for each channel by the hypervisor.
The nexus generated the cookies by ORing the the devhandle with the devino.
The devhandle for the channel nexus is 0x200. If the devinos are less
than 0x1ff (511), the generates cookie will be valid. For devinos greater
than this value the generated cookie will be invalid. The proper cookie
can be generated by the nexus adding the devino to the handle as supposed
to the ORing it.