Barrelfish
x86_64 Directory Reference

Files

file  debug.c
 Arch specific debugging functions.
 
file  dispatch.c
 Dispatcher architecture-specific implementation.
 
file  ldt.c
 Local descriptor table (LDT) management.
 
file  sys_debug.c
 Debug system calls, specific for x86_64, user-side.
 
file  syscalls.c
 User-side system call implementation.