af1d7cb986
on amd64). Make sure to use the right type to store and manipulate them. This fixes amd64, where basically any event channel > 31 was not working (and you get there after starting/stopping a domU a few times). Things would occasionally unwedge though the spllower() callbacks. |
||
---|---|---|
.. | ||
autoconf.c | ||
consinit.c | ||
cpu.c | ||
hypervisor_machdep.c | ||
idle_machdep.c | ||
intr.c | ||
mainbus.c | ||
x86_xpmap.c | ||
xen_bus_dma.c | ||
xen_intr.c | ||
xen_shm_machdep.c | ||
xenfunc.c |