/apic.h/1.1/Mon Nov 28 18:03:07 2005//
/atomic_arch.h/1.1/Thu Jan  5 17:25:58 2006//
/bitops_arch.h/1.2/Wed Feb 15 10:04:13 2006//
/cpu.h/1.1/Mon Nov 28 18:03:07 2005//
/elf.h/1.2/Tue Dec 20 15:45:59 2005//
/idt.h/1.1/Mon Nov 28 18:03:08 2005//
/irq.h/1.3/Fri Jan 20 17:03:21 2006//
/l4_macros.h/1.2/Fri Jan  6 10:35:39 2006//
/mb_info.h/1.1/Mon Nov 28 18:03:08 2005//
/mbi_argv.h/1.1/Mon Nov 28 18:03:08 2005//
/perform.h/1.1/Mon Nov 28 18:03:09 2005//
/port_io.h/1.1/Mon Nov 28 18:03:09 2005//
/rdtsc.h/1.2/Wed Feb  8 08:08:30 2006//
/spin.h/1.1/Mon Nov 28 18:03:10 2005//
/stack_impl.h/1.1/Mon Nov 28 18:03:11 2005//
/thread_time.h/1.1/Mon Nov 28 18:03:12 2005//
/util.h/1.1/Mon Nov 28 18:03:13 2005//
D
