/mach_apic.h/1.4/Sat Feb 28 22:05:53 2004/-ko/
/mach_apicdef.h/1.1.1.1/Mon Jul 14 18:58:49 2003/-ko/
/mach_ipi.h/1.2/Tue Aug 26 02:20:19 2003/-ko/
/mach_mpparse.h/1.1.1.1/Mon Jul 14 18:58:49 2003/-ko/
/mach_mpspec.h/1.1.1.1/Mon Jul 14 18:58:49 2003/-ko/
/mach_wakecpu.h/1.1.1.1/Mon Jul 14 18:58:49 2003/-ko/
D
