/atomic_arch.h/1.3/Thu Aug 11 21:23:35 2005//
/bitops_arch.h/1.1/Tue Feb 15 21:34:42 2005//
/cpu.h/1.1/Thu Dec  9 22:01:15 2004//
/elf.h/1.1/Mon Nov 29 12:02:08 2004//
/irq.h/1.6/Fri Dec 16 14:22:24 2005//
/l4_macros.h/1.1/Fri Jan  6 10:35:40 2006//
/mb_info.h/1.1/Wed Sep 15 09:18:26 2004//
/mbi_argv.h/1.1/Wed Sep 15 09:18:26 2004//
/stack_impl.h/1.1/Mon Sep 27 13:32:09 2004//
D
