27b32ee02c
* also adjust BOOT_GDT_SEGMENT_COUNT for x86, the definition is used by the boot loader. * add some 32-bit definitions. * add a UserTLSDescriptor class, this will be used by 32-bit threads. Change-Id: I5b1d978969a1ce97091a16c9ec2ad7c0ca831656 |
||
---|---|---|
.. | ||
alpha | ||
arm | ||
generic | ||
m68k | ||
mipsel | ||
ppc | ||
sh4 | ||
sparc | ||
x86 | ||
atomic.h | ||
cpu.h | ||
debug_console.h | ||
debug.h | ||
elf.h | ||
int.h | ||
platform.h | ||
real_time_clock.h | ||
smp.h | ||
system_info.h | ||
thread_types.h | ||
thread.h | ||
timer.h | ||
user_debugger.h | ||
user_memory.h | ||
vm_translation_map.h | ||
vm_types.h | ||
vm.h |