Barrelfish
x86_32 Directory Reference

Files

file  offsets_target.h
 X86-32 address space sizes and offsets.
 
file  paging_kernel_target.h
 x86-32 kernel page-table structures.