…
..
alpha
ppc
sh4
sparc
x86
cpu.h	Replaced reboot() by arch_cpu_shutdown().	2004-11-19 20:16:20 +00:00
dbg_console.h
debug.h
elf.h
faults.h
int.h
real_time_clock.h
smp.h
system_info.h	Added our first x86-only syscall for get_cpuid().	2004-12-01 03:54:23 +00:00
thread_struct.h
thread.h
timer.h
user_debugger.h
vm_translation_map.h
vm.h