Barrelfish
x86 Directory Reference

Files

file  apic.h
 Header file for the APIC implementation.
 
file  cmos.h
 CMOS memory interface.
 
file  conio.h
 VGA console I/O.
 
file  debug.h
 Kernel debugging functions.
 
file  debugregs.h
 x86 debug registers
 
file  global.h
 A struct for all shared data between the kernels.
 
file  ia32_spaces.h
 Address-space support for Mackerel IA32-MSR device definitions.
 
file  kputchar.h
 kprintf support
 
file  perfmon.h
 Performace monitoring support for x86\ This should be working on Intel and AMD platforms.
 
file  perfmon_amd.h
 AMD performance monitoring infrastructure.
 
file  perfmon_intel.h
 Intel 64 performance monitoring infrastructure.
 
file  pic.h
 Header file for classic 8259A PIC.
 
file  pit.h
 x86 legacy timer driver (PIT).
 
file  rtc.h
 Real Time Clock Header File.
 
file  start_aps.h
 Definitions for the startup of application processors.
 
file  startup_x86.h
 Startup prototypes.
 
file  syscall.h
 x86-specific system calls implementation.
 
file  timing.h
 Timer calibration and setting functions.
 
file  x86.h
 X86 inline asm utilities and defines.