Kip Macy 965b65a466 Fix evtchn initialization on SMP		2008-10-24 07:57:48 +00:00
..
evtchn_dev.c	avoid evtchn_init name collision in gdb	2008-08-19 02:31:01 +00:00
evtchn.c	Fix evtchn initialization on SMP	2008-10-24 07:57:48 +00:00