Barrelfish
x86_32 Directory Reference

Files

file  debug.c
 Arch specific debugging functions.
 
file  dispatch.c
 Dispatcher architecture-specific implementation.
 
file  sys_debug.c
 Debug system calls, specific for x86_32, user-side.
 
file  syscalls.c
 User-side system call implementation.