/mach_apic.h/1.4/Wed Sep  7 23:45:41 2005/-ko/
/mach_apicdef.h/1.1/Mon Jun 28 16:13:14 2004/-ko/
/mach_ipi.h/1.3/Tue Jun 28 21:54:07 2005/-ko/
/mach_mpparse.h/1.1/Mon Jun 28 16:13:14 2004/-ko/
/mach_mpspec.h/1.2/Mon Aug 16 16:31:34 2004/-ko/
/mach_wakecpu.h/1.1/Mon Jun 28 16:13:14 2004/-ko/
D
