kmacy c3afb352a0 Merge basic SMP support from HEAD		2008-10-25 00:25:25 +00:00
..
evtchn_dev.c	avoid evtchn_init name collision in gdb	2008-08-19 02:31:01 +00:00
evtchn.c	Merge basic SMP support from HEAD	2008-10-25 00:25:25 +00:00