/apic.h/1.3/Tue Nov 18 17:31:29 2003//
/atomic_arch.h/1.6/Thu Jan  5 17:25:57 2006//
/bitops_arch.h/1.6/Wed Feb 15 10:04:18 2006//
/cpu.h/1.2/Mon May 31 14:22:51 2004//
/elf.h/1.8/Tue Dec 20 15:47:26 2005//
/idt.h/1.1/Thu Nov 13 11:01:49 2003//
/irq.h/1.5/Fri Dec 16 14:13:43 2005//
/l4_macros.h/1.2/Fri Jan  6 10:35:41 2006//
/mb_info.h/1.4/Thu Sep  4 13:43:16 2003//
/mbi_argv.h/1.3/Fri Aug 15 13:32:06 2003//
/perform.h/1.2/Mon Nov 25 03:24:05 2002//
/port_io.h/1.4/Thu Feb 12 16:21:30 2004//
/rdtsc.h/1.15/Wed Oct 26 12:34:36 2005//
/spin.h/1.2/Wed Oct 13 16:31:22 2004//
/stack_impl.h/1.1/Mon Sep 27 13:32:09 2004//
/thread_time.h/1.2/Wed Mar 30 11:10:25 2005//
/util.h/1.5/Wed Sep 15 08:12:09 2004//
D
