tree: 45879a21ed5c6cd1e01ddbca461ef451e861ac61 [path history] [tgz]
  1. mach_apic.h
  2. mach_apicdef.h
  3. mach_ipi.h
  4. mach_mpparse.h
  5. mach_wakecpu.h